next up previous contents index
Next: DROP Up: Index Previous: LIST   Contents   Index

IGNORE

Command IGNORE can be used to declare a list of observations to be ignored in FIND commands until a new FILE IN command has been typed.


Gildas manager 2024-04-18