diff options
Diffstat (limited to 'Master/tlp/lkproof.tlp')
-rw-r--r-- | Master/tlp/lkproof.tlp | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Master/tlp/lkproof.tlp b/Master/tlp/lkproof.tlp deleted file mode 100644 index 1724add251d..00000000000 --- a/Master/tlp/lkproof.tlp +++ /dev/null @@ -1,6 +0,0 @@ -name lkproof -category Package -docfiles - texmf-dist/doc/latex/lkproof/proofeg.tex -runfiles - texmf-dist/tex/latex/lkproof/proof.sty |