Next:
WRITE_TOP write
Up:
TOP Commands
Previous:
CLOSE close
Contents
Index
DELETE_FILE -- delete a file
FILE
=
<string:1>
'default'
partial or complete filename
Description:
This command deletes the named file.
Ben Webb 2004-10-04
