diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-02-23 12:35:17 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-02-23 12:35:17 +0000 |
| commit | f918ef6371d61e065450ac0bc89043ea5c4af473 (patch) | |
| tree | 2f72ae6442fc62ce31081a274eba34e02b4f1af6 /man/ediff.texi | |
| parent | 056e574a655999540f104223019c6ac135e42dc9 (diff) | |
| download | emacs-f918ef6371d61e065450ac0bc89043ea5c4af473.tar.gz | |
(Major Entry Points): Remove doubled `the'.
Diffstat (limited to 'man/ediff.texi')
| -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 ce8ed1d14d0..80c513ff779 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 |