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/disdvi | |
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/disdvi')
-rwxr-xr-x | Master/bin/armhf-linux/disdvi | bin | 13868 -> 13868 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/disdvi b/Master/bin/armhf-linux/disdvi Binary files differindex 10a42058248..6f8ff517576 100755 --- a/Master/bin/armhf-linux/disdvi +++ b/Master/bin/armhf-linux/disdvi |