diff options
Diffstat (limited to 'man/texinfo.tex')
| -rw-r--r-- | man/texinfo.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/texinfo.tex b/man/texinfo.tex index 35b3020e628..a7225c8a37e 100644 --- a/man/texinfo.tex +++ b/man/texinfo.tex @@ -6339,3 +6339,5 @@ 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 |