diff options
18 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/ctxtools b/Master/bin/x86_64-linux/ctxtools index 84e47bbee3c..84e47bbee3c 100755..100644 --- a/Master/bin/x86_64-linux/ctxtools +++ b/Master/bin/x86_64-linux/ctxtools diff --git a/Master/bin/x86_64-linux/exatools b/Master/bin/x86_64-linux/exatools index 50ff0f07e46..50ff0f07e46 100755..100644 --- a/Master/bin/x86_64-linux/exatools +++ b/Master/bin/x86_64-linux/exatools diff --git a/Master/bin/x86_64-linux/luatools b/Master/bin/x86_64-linux/luatools index cb3ec1add4a..cb3ec1add4a 100755..100644 --- a/Master/bin/x86_64-linux/luatools +++ b/Master/bin/x86_64-linux/luatools diff --git a/Master/bin/x86_64-linux/makempy b/Master/bin/x86_64-linux/makempy index 4bf7a1af230..4bf7a1af230 100755..100644 --- a/Master/bin/x86_64-linux/makempy +++ b/Master/bin/x86_64-linux/makempy diff --git a/Master/bin/x86_64-linux/mpstools b/Master/bin/x86_64-linux/mpstools index b4c8f634548..b4c8f634548 100755..100644 --- a/Master/bin/x86_64-linux/mpstools +++ b/Master/bin/x86_64-linux/mpstools diff --git a/Master/bin/x86_64-linux/mptopdf b/Master/bin/x86_64-linux/mptopdf index 980a3123d1a..980a3123d1a 100755..100644 --- a/Master/bin/x86_64-linux/mptopdf +++ b/Master/bin/x86_64-linux/mptopdf diff --git a/Master/bin/x86_64-linux/mtxtools b/Master/bin/x86_64-linux/mtxtools index 2922e0b4674..2922e0b4674 100755..100644 --- a/Master/bin/x86_64-linux/mtxtools +++ b/Master/bin/x86_64-linux/mtxtools diff --git a/Master/bin/x86_64-linux/pdftools b/Master/bin/x86_64-linux/pdftools index 92ee803a868..92ee803a868 100755..100644 --- a/Master/bin/x86_64-linux/pdftools +++ b/Master/bin/x86_64-linux/pdftools diff --git a/Master/bin/x86_64-linux/pstopdf b/Master/bin/x86_64-linux/pstopdf index 5b38ed426cb..5b38ed426cb 100755..100644 --- a/Master/bin/x86_64-linux/pstopdf +++ b/Master/bin/x86_64-linux/pstopdf diff --git a/Master/bin/x86_64-linux/rlxtools b/Master/bin/x86_64-linux/rlxtools index 41cea40fc09..41cea40fc09 100755..100644 --- a/Master/bin/x86_64-linux/rlxtools +++ b/Master/bin/x86_64-linux/rlxtools diff --git a/Master/bin/x86_64-linux/runtools b/Master/bin/x86_64-linux/runtools index ff9a333791b..ff9a333791b 100755..100644 --- a/Master/bin/x86_64-linux/runtools +++ b/Master/bin/x86_64-linux/runtools diff --git a/Master/bin/x86_64-linux/texexec b/Master/bin/x86_64-linux/texexec index 2158172906a..2158172906a 100755..100644 --- a/Master/bin/x86_64-linux/texexec +++ b/Master/bin/x86_64-linux/texexec diff --git a/Master/bin/x86_64-linux/texfont b/Master/bin/x86_64-linux/texfont index a91f786e3f8..a91f786e3f8 100755..100644 --- a/Master/bin/x86_64-linux/texfont +++ b/Master/bin/x86_64-linux/texfont diff --git a/Master/bin/x86_64-linux/texmfstart b/Master/bin/x86_64-linux/texmfstart index e43929213f5..e43929213f5 100755..100644 --- a/Master/bin/x86_64-linux/texmfstart +++ b/Master/bin/x86_64-linux/texmfstart diff --git a/Master/bin/x86_64-linux/textools b/Master/bin/x86_64-linux/textools index 7445eac371c..7445eac371c 100755..100644 --- a/Master/bin/x86_64-linux/textools +++ b/Master/bin/x86_64-linux/textools diff --git a/Master/bin/x86_64-linux/texutil b/Master/bin/x86_64-linux/texutil index 607154af059..607154af059 100755..100644 --- a/Master/bin/x86_64-linux/texutil +++ b/Master/bin/x86_64-linux/texutil diff --git a/Master/bin/x86_64-linux/tmftools b/Master/bin/x86_64-linux/tmftools index 7531a966390..7531a966390 100755..100644 --- a/Master/bin/x86_64-linux/tmftools +++ b/Master/bin/x86_64-linux/tmftools diff --git a/Master/bin/x86_64-linux/xmltools b/Master/bin/x86_64-linux/xmltools index 03086d0436b..03086d0436b 100755..100644 --- a/Master/bin/x86_64-linux/xmltools +++ b/Master/bin/x86_64-linux/xmltools |