diff options
| author | Karl Berry <karl@freefriends.org> | 2018-05-09 22:06:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-05-09 22:06:44 +0000 |
| commit | 531d73002d7e2a58665132b4aba375d04ecc4b11 (patch) | |
| tree | 61bd16b7042d3bd6b26c8ab51910b3c20b0dd5b3 /Master/bin/x86_64-darwin/ppltotf | |
| parent | 603ba49ff1f45dd610144b5e96f29a60b1059c55 (diff) | |
branch2018.1 x86_64-darwin binaries from dick
git-svn-id: svn://tug.org/texlive/trunk@47653 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-darwin/ppltotf')
| -rwxr-xr-x | Master/bin/x86_64-darwin/ppltotf | bin | 158164 -> 158164 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-darwin/ppltotf b/Master/bin/x86_64-darwin/ppltotf Binary files differindex e651fdb55b3..dd49e963308 100755 --- a/Master/bin/x86_64-darwin/ppltotf +++ b/Master/bin/x86_64-darwin/ppltotf |