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
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.
Computing file changes ...