diff options
author | Phil Jones <philj56@gmail.com> | 2022-12-01 20:24:35 +0000 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2022-12-01 20:24:35 +0000 |
commit | fff5211d2776185348d6b813f2a16cedd5f485d0 (patch) | |
tree | 2a4c7f38491e3168c14db4c6fc633210950cbd04 /doc/config | |
parent | dd36bf1c53216e1828d136cb735d65816575571f (diff) |
Add --ascii-input option.
Diffstat (limited to 'doc/config')
-rw-r--r-- | doc/config | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -255,6 +255,11 @@ # from running simultaneously. multi-instance = false + # Assume input is plain ASCII, and disable some Unicode handling + # functions. This is faster, but means e.g. a search for "e" will not + # match "é". + ascii-input = false + # ### Inclusion # |