diff options
| -rwxr-xr-x | Master/bin/x86_64-linux/tex2xindy | bin | 19288 -> 22856 bytes |
| -rw-r--r-- | Master/bin/x86_64-linux/xindy.mem | bin | 1066559 -> 1026831 bytes |
| -rwxr-xr-x | Master/bin/x86_64-linux/xindy.run | bin | 3350968 -> 4149048 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 3cbdf280438..bf010cdbd2f 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 fbcaa6ec658..7e32ddf1020 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 4deaede24d1..b10fa0c454f 100755 --- a/Master/bin/x86_64-linux/xindy.run +++ b/Master/bin/x86_64-linux/xindy.run |