HELP VED_DELETEFILE                                    A.Sloman Feb 1992

ENTER deletefile

This will delete the current VED file both from the VED buffer and from
the disk. If there are any backup versions they will not be deleted.

--- $poplocal/local/help/ved_deletefile
--- Copyright University of Birmingham 1992. All rights reserved. ------
