summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/petri-nets
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/petri-nets')
-rw-r--r--Master/texmf/lists/petri-nets13
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