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