diff options
Diffstat (limited to 'Master/tlp/petri-nets.tlp')
-rw-r--r-- | Master/tlp/petri-nets.tlp | 17 |
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 |