diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/bin/x86_64-linux/dt2dv | bin | 39096 -> 39096 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/pdftex | bin | 1416320 -> 1416320 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/pdftosrc | bin | 526512 -> 526512 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xdvi-xaw.bin | bin | 877864 -> 877864 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xetex | bin | 8477960 -> 8477960 bytes |
5 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/dt2dv b/Master/bin/x86_64-linux/dt2dv Binary files differindex a5bfa521c49..57f9b138e28 100755 --- a/Master/bin/x86_64-linux/dt2dv +++ b/Master/bin/x86_64-linux/dt2dv diff --git a/Master/bin/x86_64-linux/pdftex b/Master/bin/x86_64-linux/pdftex Binary files differindex 352a555f6e6..0baee6e2dd0 100755 --- a/Master/bin/x86_64-linux/pdftex +++ b/Master/bin/x86_64-linux/pdftex diff --git a/Master/bin/x86_64-linux/pdftosrc b/Master/bin/x86_64-linux/pdftosrc Binary files differindex 9097bbf3149..49b5c010b58 100755 --- a/Master/bin/x86_64-linux/pdftosrc +++ b/Master/bin/x86_64-linux/pdftosrc diff --git a/Master/bin/x86_64-linux/xdvi-xaw.bin b/Master/bin/x86_64-linux/xdvi-xaw.bin Binary files differindex e0d6379bd6e..57fc3d42661 100755 --- a/Master/bin/x86_64-linux/xdvi-xaw.bin +++ b/Master/bin/x86_64-linux/xdvi-xaw.bin diff --git a/Master/bin/x86_64-linux/xetex b/Master/bin/x86_64-linux/xetex Binary files differindex a017a060792..b1b670e89e7 100755 --- a/Master/bin/x86_64-linux/xetex +++ b/Master/bin/x86_64-linux/xetex |