[texdoc-commits] [TeX-Live/texdoc] 2221c1: change the default fuzzy_level 5 -> 3 (cf. #58)
Takuto ASAKURA
noreply at github.com
Sat May 16 08:18:09 CEST 2020
Branch: refs/heads/master
Home: https://github.com/TeX-Live/texdoc
Commit: 2221c1fa67693cbf0d0d683a4df75ab0768672b1
https://github.com/TeX-Live/texdoc/commit/2221c1fa67693cbf0d0d683a4df75ab0768672b1
Author: Takuto ASAKURA <wtsnjp at gmail.com>
Date: 2020-05-16 (Sat, 16 May 2020)
Changed paths:
M script/texdoclib-config.tlu
Log Message:
-----------
change the default fuzzy_level 5 -> 3 (cf. #58)
More information about the texdoc-commits
mailing list.