diff options
Diffstat (limited to 'Master/bin')
-rwxr-xr-x | Master/bin/x86_64-linux/tex2xindy | bin | 20400 -> 20400 bytes |
-rw-r--r-- | Master/bin/x86_64-linux/xindy.mem | bin | 1034649 -> 1045150 bytes |
-rwxr-xr-x | Master/bin/x86_64-linux/xindy.run | bin | 2444616 -> 2438064 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 b0ff869534a..e6f4bdc8d60 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 8cdfe34b3dc..f3aa7e02d13 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 516d993766c..bcef5220129 100755 --- a/Master/bin/x86_64-linux/xindy.run +++ b/Master/bin/x86_64-linux/xindy.run |