summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/logic
diff options
context:
space:
mode:
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