summaryrefslogtreecommitdiff
path: root/Master/bin/armhf-linux/pn2pdf
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/armhf-linux/pn2pdf')
l---------Master/bin/armhf-linux/pn2pdf1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/bin/armhf-linux/pn2pdf b/Master/bin/armhf-linux/pn2pdf
new file mode 120000
index 00000000000..e2c71e1f402
--- /dev/null
+++ b/Master/bin/armhf-linux/pn2pdf
@@ -0,0 +1 @@
+../../texmf-dist/scripts/petri-nets/pn2pdf \ No newline at end of file