summaryrefslogtreecommitdiff
path: root/Build/source/texk/configure
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-02 12:33:41 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2011-05-02 12:33:41 +0000
commit2d11fdfd2797f0674e1ffc420b1cfa5bcc1732ce (patch)
tree4cca8cdaa2175fb293fb376a459d782ac07606b6 /Build/source/texk/configure
parent4911dacf8a9fd770f403274ecc081ebdd19381bd (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