diff options
author | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 21:19:00 -0400 |
---|---|---|
committer | Jeff Zhao <jeff.no.zhao@gmail.com> | 2024-03-10 21:19:00 -0400 |
commit | 9a185e3c2437e41ee08ef3d6f2e2616981e046e8 (patch) | |
tree | 012f3fdc712d849757f64dca1d71156c4d39ab35 /config/joshuto.toml | |
parent | 8af827604620f8135c98d6f4c8e4b647c06d1c32 (diff) | |
parent | cd9331483e518f76f2d5aca3ae708f5e49ade0c5 (diff) |
Merge branch 'main' into dev
Diffstat (limited to 'config/joshuto.toml')
-rw-r--r-- | config/joshuto.toml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/joshuto.toml b/config/joshuto.toml index d23da09..f5fcaf5 100644 --- a/config/joshuto.toml +++ b/config/joshuto.toml @@ -6,6 +6,7 @@ use_trash = true watch_files = true xdg_open = false xdg_open_fork = false +case_sensitive_ext = false custom_commands = [] |