github/zyedidia.micro
2
0
Fork 0
mirror of https://github.com/zyedidia/micro.git synced 2026-03-25 18:07:07 +09:00
Code Issues Packages Projects Releases Wiki Activity

Enable ignorecase by default

Browse Source 
Closes #1908
This commit is contained in:
Zachary Yedidia
2020-11-05 15:39:05 -05:00
parent a424a0dca1
commit 19067a9bf0
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/help/options.md
View File

@@ -161,7 +161,7 @@ Here are the available options:
* `ignorecase`: perform case-insensitive searches.
default value: `false`
default value: `true`
* `indentchar`: sets the indentation character.