diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-17 08:23:50 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-17 08:23:50 +0000 |
commit | 2db47837ab049479ff5e43f9ec5890c335f64785 (patch) | |
tree | e80273b802d4419e9f65922e650d0763c5845a4a /Build/source/libs | |
parent | 965b84f24f1e0a0a7f19408269afb6f270ed2b4d (diff) |
Build system: Fix 'make dist'
git-svn-id: svn://tug.org/texlive/trunk@36888 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/libs')
0 files changed, 0 insertions, 0 deletions