diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-20 23:34:40 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-20 23:34:40 +0000 |
commit | 9c5c67e38f2e3766a363b34aa5afbd1c1d5f9d8c (patch) | |
tree | 6c7ad8b27606c2f7e6de0c44f4394b122941c506 /Master/texmf-dist/chktex/chktexrc | |
parent | f4396491fbed083e507411e137df9565bed5d6aa (diff) |
noto (20may19)
git-svn-id: svn://tug.org/texlive/trunk@51172 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/chktex/chktexrc')
0 files changed, 0 insertions, 0 deletions