docs: restore accidentally removed line in :h 'ignorecase' (#25651)

This commit is contained in:
zeertzjq
2023-10-15 09:05:27 +08:00
committed by GitHub
parent 85ddd0074b
commit aa62579a68
3 changed files with 3 additions and 0 deletions

View File

@@ -3972,6 +3972,7 @@ return {
desc = [=[
Ignore case in search patterns, |cmdline-completion|, when
searching in the tags file, and |expr-==|.
Also see 'smartcase' and 'tagcase'.
Can be overruled by using "\c" or "\C" in the pattern, see
|/ignorecase|.
]=],