<?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();
?>