From c86100d46cbcccd3abdd57b92814b4c5a356afa9 Mon Sep 17 00:00:00 2001 From: Jim Porter Date: Mon, 21 Aug 2023 18:45:36 -0700 Subject: [PATCH] ; * doc/misc/eshell.texi (Globbing): Fix duplicated index. --- doc/misc/eshell.texi | 1 - 1 file changed, 1 deletion(-) 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 @@ -1498,7 +1498,6 @@ Eshell's globbing syntax is very similar to that of Zsh coming from Bash can still use Bash-style globbing, as there are no incompatibilities. -@vindex eshell-glob-case-insensitive @vindex eshell-glob-case-insensitive Globs are case sensitive by default, except on MS-DOS/MS-Windows systems. You can control this behavior via the -- 2.39.2