diff options
author | Gerd Moellmann <[email protected]> | 2001-02-23 12:23:20 +0000 |
---|---|---|
committer | Gerd Moellmann <[email protected]> | 2001-02-23 12:23:20 +0000 |
commit | 955c00f9011c1350c34eb9f1386f4dbbe7c3b631 (patch) | |
tree | f3310b80c45bfa4f0d34297b355fbcb947b02c1a /man | |
parent | 066502ab823c2af1f1f309d932cd5fd4c76a23ad (diff) |
(Omitting Variables): Remove doubled word.
Diffstat (limited to 'man')
-rw-r--r-- | man/dired-x.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/dired-x.texi b/man/dired-x.texi index 8babaf260b..c43360feba 100644 --- a/man/dired-x.texi +++ b/man/dired-x.texi @@ -520,7 +520,7 @@ pathname relative to the buffer's top-level directory. @cindex Omitting additional files Default: @kbd{C-o} -Temporary marker used by by Dired to implement omitting. Should never be used +Temporary marker used by Dired to implement omitting. Should never be used as marker by the user or other packages. There is one exception to this rule: by doing |