summaryrefslogtreecommitdiff
path: root/Master/tlp/petri-nets.tlp
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlp/petri-nets.tlp')
-rw-r--r--Master/tlp/petri-nets.tlp17
1 files changed, 0 insertions, 17 deletions
diff --git a/Master/tlp/petri-nets.tlp b/Master/tlp/petri-nets.tlp
deleted file mode 100644
index edcb7a7322c..00000000000
--- a/Master/tlp/petri-nets.tlp
+++ /dev/null
@@ -1,17 +0,0 @@
-name petri-nets
-category Package
-docfiles
- texmf-dist/doc/latex/petri-nets/README
- texmf-dist/doc/latex/petri-nets/pndoc.pdf
- texmf-dist/doc/latex/petri-nets/pndoc.tex
-srcfiles
- texmf-dist/source/latex/petri-nets/COPYING
- texmf-dist/source/latex/petri-nets/pn2pdf
-runfiles
- 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