diff options
| -rw-r--r-- | Master/bin/x86_64-linux/xindy.mem | bin | 1021196 -> 1026640 bytes |
| -rwxr-xr-x | Master/bin/x86_64-linux/xindy.run | bin | 2316392 -> 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 Binary files differindex c2c8b32920c..e38664573d9 100644 --- a/Master/bin/x86_64-linux/xindy.mem +++ b/Master/bin/x86_64-linux/xindy.mem diff --git a/Master/bin/x86_64-linux/xindy.run b/Master/bin/x86_64-linux/xindy.run Binary files differindex 33a04f67585..0d59624d899 100755 --- a/Master/bin/x86_64-linux/xindy.run +++ b/Master/bin/x86_64-linux/xindy.run |