[texdoc-commits] [TeX-Live/texdoc] 0ebc7d: create new option -D
Watson
wtsnjp at gmail.com
Sat Apr 28 10:16:58 CEST 2018
Branch: refs/heads/fuzzy_search
Home: https://github.com/TeX-Live/texdoc
Commit: 0ebc7d213874d67ebbc31491c69b58b972a39dbc
https://github.com/TeX-Live/texdoc/commit/0ebc7d213874d67ebbc31491c69b58b972a39dbc
Author: Watson <wtsnjp at gmail.com>
Date: 2018-04-28 (Sat, 28 Apr 2018)
Changed paths:
M script/config.tlu
M script/constants.tlu
M script/main.tlu
Log Message:
-----------
create new option -D
More information about the texdoc-commits
mailing list