diff options
Diffstat (limited to 'man/tramp.texi')
| -rw-r--r-- | man/tramp.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/tramp.texi b/man/tramp.texi index 31f5689e79..07cffe2613 100644 --- a/man/tramp.texi +++ b/man/tramp.texi @@ -2119,7 +2119,3 @@ would have to be installed from the start, too. @c ** Use `filename' resp. `file name' consistently. @c ** Use `host' resp. `machine' consistently. @c ** Consistent small or capitalized words especially in menues. - -@ignore - arch-tag: f96dd66e-6dd3-4c92-8d77-9c56205ba808 -@end ignore |