diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-06-16 08:27:28 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-06-16 08:27:28 +0000 |
commit | fce3f28c1a5ae3652da80d4fb85522c4c503ece6 (patch) | |
tree | dddeb3a9d32d1d1d7c3cef2bd5cbc7d996003c4e /Master/texmf-dist/fonts/tfm/public | |
parent | 82485044b16c7ceffee7adbd11e48b5f8ac4f209 (diff) |
Build system: Minor cleanup
git-svn-id: svn://tug.org/texlive/trunk@37561 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/fonts/tfm/public')
0 files changed, 0 insertions, 0 deletions