]> git.lizzy.rs Git - micro.git/commit
Enable ignorecase by default
authorZachary Yedidia <zyedidia@gmail.com>
Thu, 5 Nov 2020 20:39:05 +0000 (15:39 -0500)
committerZachary Yedidia <zyedidia@gmail.com>
Thu, 5 Nov 2020 20:39:05 +0000 (15:39 -0500)
commit19067a9bf0625708dea6890607d9739f3253689a
tree524dc07385770c3b737e95f8146229dadde6f723
parenta424a0dca14e189fdc3cc479f4ad367125568481
Enable ignorecase by default

Closes #1908
internal/config/runtime.go
internal/config/settings.go
runtime/help/options.md