diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-07-15 14:58:07 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2013-07-15 14:58:07 +0000 |
commit | d5ff083c5b5321afc523ceeb658fef25d337e7bf (patch) | |
tree | 35e00d41a671711deb95a0986f7454ebd7ed1885 /Master/texmf-dist | |
parent | 752c7b0e0a3d65065694c1ecd571efc2cd9f1df6 (diff) |
build system: Avoid 'parallel make' problems
git-svn-id: svn://tug.org/texlive/trunk@31199 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
0 files changed, 0 insertions, 0 deletions