Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
Raw File
close
CLOSE filename

	command.  Closes the named file.  If the file was currently the
	reader or writer, then the reader or writer is changed to the
	keyboard or screen, as if SETREAD [] or SETWRITE [] had been done.

back to top