[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