diff options
| author | Karl Berry <karl@freefriends.org> | 2018-03-28 22:12:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-03-28 22:12:08 +0000 |
| commit | 61b1ed98c4ffc87730591bd56331fe22e9a83a49 (patch) | |
| tree | caa69a42c4b7ed4ee5cc3e6d87874e3ee05502fd /Master/bin/x86_64-darwin/ppltotf | |
| parent | be2fa2982b23c0594620dcd0476a9ac75ae09f49 (diff) | |
tl18 x86_64-darwin with STRIP="-u -r"
git-svn-id: svn://tug.org/texlive/trunk@47165 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 d0f8df45a54..e651fdb55b3 100755 --- a/Master/bin/x86_64-darwin/ppltotf +++ b/Master/bin/x86_64-darwin/ppltotf |