diff options
Diffstat (limited to 'man/ada-mode.texi')
-rw-r--r-- | man/ada-mode.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/ada-mode.texi b/man/ada-mode.texi index a1012b8fbff..a74150fe75a 100644 --- a/man/ada-mode.texi +++ b/man/ada-mode.texi @@ -1279,3 +1279,7 @@ However, this would not work on vxworks, for instance, where @contents @bye + +@ignore + arch-tag: 68cf0d8a-55cc-4190-a28d-4984fa56ed1e +@end ignore |