diff options
Diffstat (limited to 'doc/misc/ada-mode.texi')
| -rw-r--r-- | doc/misc/ada-mode.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/ada-mode.texi b/doc/misc/ada-mode.texi index fdb0bccc29d..399840a8a11 100644 --- a/doc/misc/ada-mode.texi +++ b/doc/misc/ada-mode.texi @@ -1524,7 +1524,3 @@ autofill the current comment. @printindex fn @bye - -@ignore - arch-tag: 68cf0d8a-55cc-4190-a28d-4984fa56ed1e -@end ignore |