next up previous contents index
Next: OPTIONS /FINE Up: OPTIONS Previous: OPTIONS /EFFICIENCY   Contents   Index


OPTIONS /FILE

    /FILE fileName

    Specify file name.

    Character :: fileName          !


Gildas manager 2023-06-01