diff options
Diffstat (limited to 'man/trampver.texi')
-rw-r--r-- | man/trampver.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/trampver.texi b/man/trampver.texi index f728531b9e9..4f9ba4dd49b 100644 --- a/man/trampver.texi +++ b/man/trampver.texi @@ -58,3 +58,6 @@ @c Otherwise, '/dev/null/' is tken, which leaves this part empty. +@ignore + arch-tag: e0fe322c-e06b-46eb-bb5b-d091b521f41c +@end ignore |