diff options
| -rwxr-xr-x | Master/bin/x86_64-linux/dvipdfmx | bin | 991728 -> 991760 bytes |
| -rwxr-xr-x | Master/bin/x86_64-linux/xdvipdfmx | bin | 996464 -> 996496 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/dvipdfmx b/Master/bin/x86_64-linux/dvipdfmx Binary files differindex b354cc37e8e..48ddeab2fae 100755 --- a/Master/bin/x86_64-linux/dvipdfmx +++ b/Master/bin/x86_64-linux/dvipdfmx diff --git a/Master/bin/x86_64-linux/xdvipdfmx b/Master/bin/x86_64-linux/xdvipdfmx Binary files differindex 78fdd7e7e87..985ed5acb8c 100755 --- a/Master/bin/x86_64-linux/xdvipdfmx +++ b/Master/bin/x86_64-linux/xdvipdfmx |