diff options
author | Gerd Moellmann <[email protected]> | 2001-02-23 12:35:17 +0000 |
---|---|---|
committer | Gerd Moellmann <[email protected]> | 2001-02-23 12:35:17 +0000 |
commit | f918ef6371d61e065450ac0bc89043ea5c4af473 (patch) | |
tree | 2f72ae6442fc62ce31081a274eba34e02b4f1af6 | |
parent | 056e574a655999540f104223019c6ac135e42dc9 (diff) |
(Major Entry Points): Remove doubled `the'.
-rw-r--r-- | man/ediff.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ediff.texi b/man/ediff.texi index ce8ed1d14d..80c513ff77 100644 --- a/man/ediff.texi +++ b/man/ediff.texi @@ -223,7 +223,7 @@ prefix argument. With an odd prefix argument, Ediff assumes the patch is in a file; with an even argument, a buffer is assumed. Note that @code{ediff-patch-file} will actually use the @code{patch} -utility to change the the original files on disk. This is not that +utility to change the original files on disk. This is not that dangerous, since you will always have the original contents of the file saved in another file that has the extension @file{.orig}. Furthermore, if the file is under version control, then you can always back |