diff options
-rwxr-xr-x | Master/bin/x86_64-linux/dvipdfmx | bin | 887856 -> 887856 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/dvipng | bin | 1166064 -> 1166064 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/makeindex | bin | 143232 -> 143232 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/mpost | bin | 1855696 -> 1855760 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xdvipdfmx | bin | 1409136 -> 1409136 bytes |
5 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 d9e22d202e2..2e27963090b 100755 --- a/Master/bin/x86_64-linux/dvipdfmx +++ b/Master/bin/x86_64-linux/dvipdfmx diff --git a/Master/bin/x86_64-linux/dvipng b/Master/bin/x86_64-linux/dvipng Binary files differindex c26f0fcedd8..be0b43d03f8 100755 --- a/Master/bin/x86_64-linux/dvipng +++ b/Master/bin/x86_64-linux/dvipng diff --git a/Master/bin/x86_64-linux/makeindex b/Master/bin/x86_64-linux/makeindex Binary files differindex 5cc1c7a72f1..356749ce9e1 100755 --- a/Master/bin/x86_64-linux/makeindex +++ b/Master/bin/x86_64-linux/makeindex diff --git a/Master/bin/x86_64-linux/mpost b/Master/bin/x86_64-linux/mpost Binary files differindex c9be10e940f..4cda4e145d5 100755 --- a/Master/bin/x86_64-linux/mpost +++ b/Master/bin/x86_64-linux/mpost diff --git a/Master/bin/x86_64-linux/xdvipdfmx b/Master/bin/x86_64-linux/xdvipdfmx Binary files differindex 331404c3d31..50495c291fd 100755 --- a/Master/bin/x86_64-linux/xdvipdfmx +++ b/Master/bin/x86_64-linux/xdvipdfmx |