diff options
Diffstat (limited to 'man/ediff.texi')
| -rw-r--r-- | man/ediff.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/man/ediff.texi b/man/ediff.texi index 7bd6740714..7499f6d793 100644 --- a/man/ediff.texi +++ b/man/ediff.texi @@ -2473,7 +2473,3 @@ Eli Zaretskii (eliz@@is.elta.co.il) @setchapternewpage odd @contents @bye - -@ignore - arch-tag: 165ecb88-d03c-44b1-a921-b93f50b05b46 -@end ignore |