diff options
| -rwxr-xr-x | Master/bin/x86_64-linux/tex2xindy | bin | 19640 -> 19432 bytes |
| -rw-r--r-- | Master/bin/x86_64-linux/xindy.mem | bin | 1024039 -> 1034517 bytes |
| -rwxr-xr-x | Master/bin/x86_64-linux/xindy.run | bin | 2339312 -> 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 7432f05ec89..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 5870061b698..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 3d789fb70ab..1da4d4d30ef 100755 --- a/Master/bin/x86_64-linux/xindy.run +++ b/Master/bin/x86_64-linux/xindy.run |