summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/x86_64-linux/dvipsbin249680 -> 249744 bytes
-rw-r--r--Master/bin/x86_64-linux/xindy.membin1045150 -> 1045134 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/dvips b/Master/bin/x86_64-linux/dvips
index dc0177c8e78..5aa16d5dce7 100755
--- a/Master/bin/x86_64-linux/dvips
+++ b/Master/bin/x86_64-linux/dvips
Binary files differ
diff --git a/Master/bin/x86_64-linux/xindy.mem b/Master/bin/x86_64-linux/xindy.mem
index f3aa7e02d13..0e337f8376c 100644
--- a/Master/bin/x86_64-linux/xindy.mem
+++ b/Master/bin/x86_64-linux/xindy.mem
Binary files differ