Skip to main content

Browse the archive

swh:1:snp:3a660ea1e0fd3f2d0c294257483f24423fe4cb43
Raw File
Tip revision: b2685caa788579e22d7176d3d3678494be54a404 authored by Joshua J. Cogliati on 21 December 2019, 04:06:10 UTC
Check for messages in executable directory.
Tip revision: b2685ca
erf 
ERASEFILE filename
ERF filename

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