next up previous contents index
Next: OPTIONS /DOUBLEBEAM Up: OPTIONS Previous: OPTIONS /DISCONNECT   Contents   Index


OPTIONS /DOPPLER

    /DOPPLER doppler

    Character :: doppler           ! apply doppler correction?
                                   ! choices: DOPPLER|FIXED


Gildas manager 2023-06-01