summaryrefslogtreecommitdiff
path: root/Master/tlp/bussproofs.tlp
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlp/bussproofs.tlp')
-rw-r--r--Master/tlp/bussproofs.tlp7
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