diff options
Diffstat (limited to 'doc/misc/texinfo.tex')
| -rw-r--r-- | doc/misc/texinfo.tex | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/misc/texinfo.tex b/doc/misc/texinfo.tex index 1130b8fc56c..1e521d63158 100644 --- a/doc/misc/texinfo.tex +++ b/doc/misc/texinfo.tex @@ -9401,7 +9401,3 @@ directory should work if nowhere else does.} @c End: @c vim:sw=2: - -@ignore - arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 -@end ignore |