summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/platex-dev
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/x86_64-linux/platex-dev')
l---------Master/bin/x86_64-linux/platex-dev1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/x86_64-linux/platex-dev b/Master/bin/x86_64-linux/platex-dev
new file mode 120000
index 00000000000..b4e954084c8
--- /dev/null
+++ b/Master/bin/x86_64-linux/platex-dev
@@ -0,0 +1 @@
+platex \ No newline at end of file