diff options
Diffstat (limited to 'man/texinfo.tex')
| -rw-r--r-- | man/texinfo.tex | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/man/texinfo.tex b/man/texinfo.tex index a7225c8a37e..35b3020e628 100644 --- a/man/texinfo.tex +++ b/man/texinfo.tex @@ -6339,5 +6339,3 @@ should work if nowhere else does.} @c time-stamp-format: "%:y-%02m-%02d.%02H" @c time-stamp-end: "}" @c End: - -% arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 |