diff options
Diffstat (limited to 'Master/texmf/lists')
-rw-r--r-- | Master/texmf/lists/lkproof | 7 | ||||
-rw-r--r-- | Master/texmf/lists/proof | 7 |
2 files changed, 7 insertions, 7 deletions
diff --git a/Master/texmf/lists/lkproof b/Master/texmf/lists/lkproof new file mode 100644 index 00000000000..efc351d3f5e --- /dev/null +++ b/Master/texmf/lists/lkproof @@ -0,0 +1,7 @@ +texmf-dist/doc/latex/lkproof/proofeg.pdf +texmf-dist/doc/latex/lkproof/proofeg.tex + +texmf-dist/tex/latex/lkproof/proof.sty +texmf-dist/tpm/lkproof.tpm + +texmf/lists/lkproof diff --git a/Master/texmf/lists/proof b/Master/texmf/lists/proof deleted file mode 100644 index ba5b557d505..00000000000 --- a/Master/texmf/lists/proof +++ /dev/null @@ -1,7 +0,0 @@ -texmf-dist/doc/latex/proof/proofeg.pdf -texmf-dist/doc/latex/proof/proofeg.tex - -texmf-dist/tex/latex/proof/proof.sty -texmf-dist/tpm/proof.tpm - -texmf/lists/proof |