Next:
OPTIONS /FINE
Up:
OPTIONS
Previous:
OPTIONS /EFFICIENCY
Contents
Index
OPTIONS /FILE
/FILE fileName Specify file name. Character :: fileName !
Gildas manager 2023-06-01