diff options
author | Karl Berry <karl@freefriends.org> | 2015-12-21 23:32:42 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2015-12-21 23:32:42 +0000 |
commit | c5e89419297f1c23c42a0c11bab9fb3c12b97f91 (patch) | |
tree | fe216e80909f3182b6341572c282812791dc7e7b /Master/texmf-dist | |
parent | 3b683dc6d3ccfc16f1bdeb50e6d086143f119f72 (diff) |
pn2pdf script for petri-nets (Enrico Gregorio mail, 21 Dec 2015 12:35:28)
git-svn-id: svn://tug.org/texlive/trunk@39165 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x[-rw-r--r--] | Master/texmf-dist/scripts/petri-nets/pn2pdf (renamed from Master/texmf-dist/doc/generic/petri-nets/pn2pdf) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/petri-nets/pn2pdf b/Master/texmf-dist/scripts/petri-nets/pn2pdf index c42f9c38f30..c42f9c38f30 100644..100755 --- a/Master/texmf-dist/doc/generic/petri-nets/pn2pdf +++ b/Master/texmf-dist/scripts/petri-nets/pn2pdf |