diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-10 09:49:37 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-05-10 09:49:37 +0000 |
commit | 8d543990d396f5e1126d575ccb37d7623276ed0b (patch) | |
tree | 8956db51ce299cca4a9483cfd5c6b01e1e94f311 /Build/source/utils/chktex/chktex-1.6.4 | |
parent | a849488fd6c6ab60c6b927fd43e04691a2634f00 (diff) |
build system and chktex: automatically enable
git-svn-id: svn://tug.org/texlive/trunk@18188 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/chktex/chktex-1.6.4')
-rwxr-xr-x[-rw-r--r--] | Build/source/utils/chktex/chktex-1.6.4/chkweb | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Build/source/utils/chktex/chktex-1.6.4/chkweb b/Build/source/utils/chktex/chktex-1.6.4/chkweb index cbc0caa780d..cbc0caa780d 100644..100755 --- a/Build/source/utils/chktex/chktex-1.6.4/chkweb +++ b/Build/source/utils/chktex/chktex-1.6.4/chkweb |