Skip to main content

Browse the archive

Raw File
erf 
ERASEFILE filename
ERF filename

	command.  Erases (deletes, removes) the named file, which should not
	currently be open.
back to top