summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/bin/x86_64-linux/xindy.membin1021196 -> 1026640 bytes
-rwxr-xr-xMaster/bin/x86_64-linux/xindy.runbin2316392 -> 2322120 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/xindy.mem b/Master/bin/x86_64-linux/xindy.mem
index c2c8b32920c..e38664573d9 100644
--- a/Master/bin/x86_64-linux/xindy.mem
+++ b/Master/bin/x86_64-linux/xindy.mem
Binary files differ
diff --git a/Master/bin/x86_64-linux/xindy.run b/Master/bin/x86_64-linux/xindy.run
index 33a04f67585..0d59624d899 100755
--- a/Master/bin/x86_64-linux/xindy.run
+++ b/Master/bin/x86_64-linux/xindy.run
Binary files differ