diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-11 21:03:55 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-11 21:03:55 +0000 |
commit | 7398208350735657f9576bd2a63e946cef51ca64 (patch) | |
tree | 15dcda1179d4dcdcf2dafd0b7cde2e903208d0cb /Master/bin/armhf-linux/ptftopl | |
parent | 5f75036849729a2695d3decfd9e8ba45ad5ca864 (diff) |
branch2018.1 armhf binaries update
git-svn-id: svn://tug.org/texlive/trunk@47679 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/armhf-linux/ptftopl')
-rwxr-xr-x | Master/bin/armhf-linux/ptftopl | bin | 125000 -> 125000 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/ptftopl b/Master/bin/armhf-linux/ptftopl Binary files differindex e80042dd618..4b2425c15bd 100755 --- a/Master/bin/armhf-linux/ptftopl +++ b/Master/bin/armhf-linux/ptftopl |