diff options
| author | bptato <nincsnevem662@gmail.com> | 2024-02-22 21:36:46 +0100 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2024-02-22 22:23:17 +0100 |
| commit | b2da391458bca7b7f38fc9f03925d704841165c8 (patch) | |
| tree | b64fa5fccc6902e9e5059594738539464f48e649 /src/layout | |
| parent | 78ffc938fa7e4baad0a55625026b765d215be1aa (diff) | |
| download | chawan-b2da391458bca7b7f38fc9f03925d704841165c8.tar.gz | |
config: replace default-flags with ignore-case
default-flags was overly complicated for its purpose. Also, ignore-case is quite useful, so enable it by default.
Diffstat (limited to 'src/layout')
0 files changed, 0 insertions, 0 deletions