summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/logic
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2007-11-30 12:06:56 +0000
committerNorbert Preining <preining@logic.at>2007-11-30 12:06:56 +0000
commit2b16bc20d1786f32792ae4003899269feae3c243 (patch)
tree78be7d9da07eae8f203aa425048334590a1d04bd /Master/texmf/lists/logic
parentc710b203fa04e47c1dfebca72868d0ecea4cbb91 (diff)
delete outdated list files
git-svn-id: svn://tug.org/texlive/trunk@5657 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf/lists/logic')
-rw-r--r--Master/texmf/lists/logic10
1 files changed, 0 insertions, 10 deletions
diff --git a/Master/texmf/lists/logic b/Master/texmf/lists/logic
deleted file mode 100644
index 9d5d4f68ff8..00000000000
--- a/Master/texmf/lists/logic
+++ /dev/null
@@ -1,10 +0,0 @@
-texmf-dist/doc/latex/logic/gn-logic14.dvi
-texmf-dist/doc/latex/logic/gn-logic14.tex
-texmf-dist/doc/latex/logic/milstd.tex
-
-texmf-dist/fonts/source/public/logic/milstd.mf
-texmf-dist/fonts/tfm/public/logic/milstd.tfm
-texmf-dist/tex/latex/logic/gn-logic14.sty
-texmf-dist/tpm/logic.tpm
-
-texmf/lists/logic