#! /bin/csh -f
#
# RemoveVirgin - Remove the saved un-initialized files that were saved by
# SaveVirgin.
#
set path = ($ADM_DIR $ADM_DIR/bin /bin /usr/bin /etc)
if ( -e $ADM_DIR/tmp/Virgin.tar ) then
	/bin/rm -f $ADM_DIR/tmp/Virgin.tar
endif
exit(0)
