diff options
| author | Jim Porter | 2023-08-21 18:45:36 -0700 |
|---|---|---|
| committer | Jim Porter | 2023-08-21 18:45:36 -0700 |
| commit | c86100d46cbcccd3abdd57b92814b4c5a356afa9 (patch) | |
| tree | ecc52fd58871529dcc26a15adfbe32dd00352340 /doc/misc | |
| parent | 12d01caaefc05f570bab953a9ddf961afe260ba7 (diff) | |
| download | emacs-c86100d46cbcccd3abdd57b92814b4c5a356afa9.tar.gz emacs-c86100d46cbcccd3abdd57b92814b4c5a356afa9.zip | |
; * doc/misc/eshell.texi (Globbing): Fix duplicated index.
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/eshell.texi | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/misc/eshell.texi b/doc/misc/eshell.texi index 29ffc3dc964..4897b410b76 100644 --- a/doc/misc/eshell.texi +++ b/doc/misc/eshell.texi | |||
| @@ -1499,7 +1499,6 @@ coming from Bash can still use Bash-style globbing, as there are no | |||
| 1499 | incompatibilities. | 1499 | incompatibilities. |
| 1500 | 1500 | ||
| 1501 | @vindex eshell-glob-case-insensitive | 1501 | @vindex eshell-glob-case-insensitive |
| 1502 | @vindex eshell-glob-case-insensitive | ||
| 1503 | Globs are case sensitive by default, except on MS-DOS/MS-Windows | 1502 | Globs are case sensitive by default, except on MS-DOS/MS-Windows |
| 1504 | systems. You can control this behavior via the | 1503 | systems. You can control this behavior via the |
| 1505 | @code{eshell-glob-case-insensitive} option. | 1504 | @code{eshell-glob-case-insensitive} option. |