diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-09-23 16:43:03 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2010-09-23 16:43:03 +0000 |
commit | 663ba2eafd04f719fd2cc1a2fbe0d1b317a00b4c (patch) | |
tree | 7d41fc6a016cf1aeafd0a88f62801e37b7fd8d93 /Build/source/texk/tex4htk/configure | |
parent | 18a74c4ebf87cbbc147811918a958ec0fe2f8da2 (diff) |
build fix from PaulVojta
git-svn-id: svn://tug.org/texlive/trunk@19856 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tex4htk/configure')
0 files changed, 0 insertions, 0 deletions