diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-31 11:15:06 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2009-03-31 11:15:06 +0000 |
commit | 6d5dd95b5e099dd28dae2c52de1e9f470d5e55e5 (patch) | |
tree | 010bb59321a957070a9e25d408c1396657815356 /Build/source/texk/xdvik/gui | |
parent | 61612dbb85df6a5a6a54913f9a996da360bcb094 (diff) |
better handling of $(EXEEXT)
git-svn-id: svn://tug.org/texlive/trunk@12585 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/xdvik/gui')
0 files changed, 0 insertions, 0 deletions