diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-04 09:11:26 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-04 09:11:26 +0000 |
commit | 67c3a09c0f5d7fcf6bff5cfbc686a0c247d0e744 (patch) | |
tree | 020365a0e647b2df8977f2a4c241e420a181f8c2 /Master | |
parent | 6c9695fef24ab80bbae6c4444bd00a7adf55a70d (diff) |
chktex: do not build unless explicitly enabled
git-svn-id: svn://tug.org/texlive/trunk@18099 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
0 files changed, 0 insertions, 0 deletions