diff options
Diffstat (limited to 'man/back.texi')
-rw-r--r-- | man/back.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/back.texi b/man/back.texi index c3372d30c71..d586b9afd63 100644 --- a/man/back.texi +++ b/man/back.texi @@ -66,3 +66,7 @@ } \eject\bye + +@ignore + arch-tag: e1830f4c-dc4a-4314-b706-a03c7e93f022 +@end ignore |