[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.