diff options
Diffstat (limited to 'man/idlwave.texi')
| -rw-r--r-- | man/idlwave.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/idlwave.texi b/man/idlwave.texi index 6cd3cb0f1b9..fde5cd389d6 100644 --- a/man/idlwave.texi +++ b/man/idlwave.texi @@ -3529,3 +3529,7 @@ instead. @printindex cp @bye + +@ignore + arch-tag: f1d73958-1423-4127-b8aa-f7b953d64492 +@end ignore |