<?php

// Manage OS images for deployment to nodes

$TOPDIR = '..';
require_once "$TOPDIR/lib/functions.php";

insertHeader('OS Images', NULL, NULL, array('deploy','osimages'));
insertNotDoneYet();
insertFooter();
?>