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 c0878f1a206..3d574f909de 100644 --- a/man/idlwave.texi +++ b/man/idlwave.texi @@ -4237,3 +4237,7 @@ widget events (those with @code{/NO_BLOCK} passed to @code{XManager}). @printindex cp @bye + +@ignore + arch-tag: f1d73958-1423-4127-b8aa-f7b953d64492 +@end ignore |