diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-03-01 14:35:34 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-03-01 14:35:34 +0000 |
commit | d14a599c4c5df86c60ebb1ac9000416c1177f4cd (patch) | |
tree | 8c9fe97251b24afb4662edeb51bc76c97d552ef6 /Build/source/texk/kpathsea/xstat.c | |
parent | 573fe9ca631fee2865f58133c28c7522d80d721b (diff) |
Remove win32_system() for __MINGW__
originally introduced to work around bugs in system() from Win9x
git-svn-id: svn://tug.org/texlive/trunk@21567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/kpathsea/xstat.c')
0 files changed, 0 insertions, 0 deletions