next up previous contents index
Next: Observation Up: Index Previous: IGNORE   Contents   Index

DROP

Command DROP can be used to remove an observation from the current index.



Gildas manager 2023-06-01