From fff5211d2776185348d6b813f2a16cedd5f485d0 Mon Sep 17 00:00:00 2001 From: Phil Jones Date: Thu, 1 Dec 2022 20:24:35 +0000 Subject: Add --ascii-input option. --- doc/config | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/config') diff --git a/doc/config b/doc/config index 017aeb1..4ce0a7d 100644 --- a/doc/config +++ b/doc/config @@ -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 # -- cgit v1.2.3