summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/bin/x86_64-linux/detexbin97160 -> 104920 bytes
-rwxr-xr-xMaster/bin/x86_64-linux/mpostbin514344 -> 514344 bytes
2 files changed, 0 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/detex b/Master/bin/x86_64-linux/detex
index 7be6725a04e..6e2ce976d6c 100755
--- a/Master/bin/x86_64-linux/detex
+++ b/Master/bin/x86_64-linux/detex
Binary files differ
diff --git a/Master/bin/x86_64-linux/mpost b/Master/bin/x86_64-linux/mpost
index f3f673bb792..a9fa2d86830 100755
--- a/Master/bin/x86_64-linux/mpost
+++ b/Master/bin/x86_64-linux/mpost
Binary files differ