diff options
Diffstat (limited to 'Master/texmf/lists/petri-nets')
-rw-r--r-- | Master/texmf/lists/petri-nets | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Master/texmf/lists/petri-nets b/Master/texmf/lists/petri-nets deleted file mode 100644 index 9d4f651dd45..00000000000 --- a/Master/texmf/lists/petri-nets +++ /dev/null @@ -1,13 +0,0 @@ -texmf-dist/doc/latex/petri-nets/README -texmf-dist/doc/latex/petri-nets/pndoc.pdf -texmf-dist/doc/latex/petri-nets/pndoc.tex -texmf-dist/source/latex/petri-nets/COPYING -texmf-dist/source/latex/petri-nets/pn2pdf -texmf-dist/tex/latex/petri-nets/pndraw.sty -texmf-dist/tex/latex/petri-nets/pndraw.tex -texmf-dist/tex/latex/petri-nets/pnets.sty -texmf-dist/tex/latex/petri-nets/pnets.tex -texmf-dist/tex/latex/petri-nets/pntext.sty -texmf-dist/tex/latex/petri-nets/pntext.tex -texmf-dist/tex/latex/petri-nets/pnversion.tex -texmf/lists/petri-nets |