diff options
-rwxr-xr-x | Master/bin/i386-linux/asy | bin | 4299704 -> 4048572 bytes |
-rw-r--r-- | Master/bin/i386-linux/xindy.mem | bin | 1113480 -> 952696 bytes |
-rwxr-xr-x | Master/bin/i386-linux/xindy.run | bin | 3307016 -> 3144916 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/i386-linux/asy b/Master/bin/i386-linux/asy Binary files differindex c104a867351..d28c4c0972d 100755 --- a/Master/bin/i386-linux/asy +++ b/Master/bin/i386-linux/asy diff --git a/Master/bin/i386-linux/xindy.mem b/Master/bin/i386-linux/xindy.mem Binary files differindex 54a2eee95f7..f55260746d7 100644 --- a/Master/bin/i386-linux/xindy.mem +++ b/Master/bin/i386-linux/xindy.mem diff --git a/Master/bin/i386-linux/xindy.run b/Master/bin/i386-linux/xindy.run Binary files differindex a49fdb1b2e4..2736eb3fc41 100755 --- a/Master/bin/i386-linux/xindy.run +++ b/Master/bin/i386-linux/xindy.run |