diff options
-rwxr-xr-x | Master/bin/x86_64-linux/tex2xindy | bin | 19296 -> 19432 bytes |
-rw-r--r-- | Master/bin/x86_64-linux/xindy.mem | bin | 1018843 -> 1034517 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xindy.run | bin | 2315168 -> 2302616 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/tex2xindy b/Master/bin/x86_64-linux/tex2xindy Binary files differindex 828ef1fc909..eca69f951be 100755 --- a/Master/bin/x86_64-linux/tex2xindy +++ b/Master/bin/x86_64-linux/tex2xindy diff --git a/Master/bin/x86_64-linux/xindy.mem b/Master/bin/x86_64-linux/xindy.mem Binary files differindex c1e080e0412..c1b410cd9ba 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 ad354c6767d..1da4d4d30ef 100755 --- a/Master/bin/x86_64-linux/xindy.run +++ b/Master/bin/x86_64-linux/xindy.run |