diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-24 21:19:14 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-24 21:19:14 +0000 |
commit | 3ec033bc5ad7efe3e4da26da875540a5d671489a (patch) | |
tree | b5b0da73b9a7d1ddc707ff5dcdce69eea086e74f /Master/tlpkg/bin/tl-prune-platforms | |
parent | 3cb2184eeaa1d6057bb23ac8a087eb7604029aeb (diff) |
algolrevived (24may19)
git-svn-id: svn://tug.org/texlive/trunk@51210 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-prune-platforms')
0 files changed, 0 insertions, 0 deletions