diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-04-24 08:53:53 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-04-24 08:53:53 +0000 |
| commit | ea36cf4d769e5c6188d49363c8db5a85a7aee35b (patch) | |
| tree | 1f49fd6e604c0b7c76fa01453673b21ed26301e3 /Build/source/texk/tex4htk | |
| parent | e8c2d1b30463b6e6ca0006dddf617e2e12be3781 (diff) | |
kpathsea: Avoid an infinite make loop when only mingw32.h or win32lib.h is changed
git-svn-id: svn://tug.org/texlive/trunk@26119 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tex4htk')
0 files changed, 0 insertions, 0 deletions