diff options
Diffstat (limited to 'Master/tlp/bussproofs.tlp')
-rw-r--r-- | Master/tlp/bussproofs.tlp | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Master/tlp/bussproofs.tlp b/Master/tlp/bussproofs.tlp deleted file mode 100644 index 538a901cdb3..00000000000 --- a/Master/tlp/bussproofs.tlp +++ /dev/null @@ -1,7 +0,0 @@ -name bussproofs -category Package -docfiles - texmf-dist/doc/latex/bussproofs/testbp2.pdf - texmf-dist/doc/latex/bussproofs/testbp2.tex -runfiles - texmf-dist/tex/latex/bussproofs/bussproofs.sty |