diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-05-02 12:33:41 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-05-02 12:33:41 +0000 |
commit | 2d11fdfd2797f0674e1ffc420b1cfa5bcc1732ce (patch) | |
tree | 4cca8cdaa2175fb293fb376a459d782ac07606b6 /Build/source/texk/configure | |
parent | 4911dacf8a9fd770f403274ecc081ebdd19381bd (diff) |
mplibdir: Skip compilation of unused code
git-svn-id: svn://tug.org/texlive/trunk@22280 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/configure')
0 files changed, 0 insertions, 0 deletions