diff options
author | Karl Berry <karl@freefriends.org> | 2013-05-11 21:40:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-05-11 21:40:25 +0000 |
commit | 71a57b0ae8f30e0633cee335d6e95845ad460956 (patch) | |
tree | 20d6d70627bd14cfa1aa9b9a6fb3c21e156e5849 /Master/bin/universal-darwin/pooltype | |
parent | 44b0351f799dd875c8b7dd2da3ad00a832e9a4b4 (diff) |
tl13 darwin: ptex et al.
git-svn-id: svn://tug.org/texlive/trunk@30401 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/universal-darwin/pooltype')
-rwxr-xr-x | Master/bin/universal-darwin/pooltype | bin | 62680 -> 62680 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/universal-darwin/pooltype b/Master/bin/universal-darwin/pooltype Binary files differindex f5b55a65565..8a86be4b2a0 100755 --- a/Master/bin/universal-darwin/pooltype +++ b/Master/bin/universal-darwin/pooltype |