diff options
| author | Karl Berry <karl@freefriends.org> | 2017-05-19 21:04:11 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-05-19 21:04:11 +0000 |
| commit | 5d9ea1718230f7705e5aba6f17989d5415e28cad (patch) | |
| tree | 9b349ed42c3071781cf15c8c12a32f2e12aefa3d /Master/tlpkg/bin/tl-prune-platforms | |
| parent | 1ff6a9bb8ba5f1c9a91b3a2591bf7966d716168c (diff) | |
l3build (19may17)
git-svn-id: svn://tug.org/texlive/trunk@44426 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-prune-platforms')
0 files changed, 0 insertions, 0 deletions