diff options
-rwxr-xr-x | Master/bin/x86_64-linux/dvipdfmx | bin | 918768 -> 918800 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/mendex | bin | 196240 -> 196336 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xdvipdfmx | bin | 1438128 -> 1438128 bytes |
3 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 af2509b5f42..c4fdfaae1f8 100755 --- a/Master/bin/x86_64-linux/dvipdfmx +++ b/Master/bin/x86_64-linux/dvipdfmx diff --git a/Master/bin/x86_64-linux/mendex b/Master/bin/x86_64-linux/mendex Binary files differindex 7654090010f..20390fa8fd2 100755 --- a/Master/bin/x86_64-linux/mendex +++ b/Master/bin/x86_64-linux/mendex diff --git a/Master/bin/x86_64-linux/xdvipdfmx b/Master/bin/x86_64-linux/xdvipdfmx Binary files differindex 33a7e1586f3..5872d56cd81 100755 --- a/Master/bin/x86_64-linux/xdvipdfmx +++ b/Master/bin/x86_64-linux/xdvipdfmx |