summaryrefslogtreecommitdiff
path: root/Master/texmf/lists/othello
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/lists/othello')
-rw-r--r--Master/texmf/lists/othello33
1 files changed, 0 insertions, 33 deletions
diff --git a/Master/texmf/lists/othello b/Master/texmf/lists/othello
deleted file mode 100644
index c29c356a87e..00000000000
--- a/Master/texmf/lists/othello
+++ /dev/null
@@ -1,33 +0,0 @@
-texmf-dist/doc/latex/othello/boards.tex
-texmf-dist/doc/latex/othello/othello.dvi
-texmf-dist/doc/latex/othello/othello.tex
-texmf-dist/fonts/source/public/othello/ot.mf
-texmf-dist/fonts/source/public/othello/ot10.mf
-texmf-dist/fonts/source/public/othello/ot15.mf
-texmf-dist/fonts/source/public/othello/ot1bla10.mf
-texmf-dist/fonts/source/public/othello/ot1bla15.mf
-texmf-dist/fonts/source/public/othello/ot1bla20.mf
-texmf-dist/fonts/source/public/othello/ot1black.mf
-texmf-dist/fonts/source/public/othello/ot1neu.mf
-texmf-dist/fonts/source/public/othello/ot1neu10.mf
-texmf-dist/fonts/source/public/othello/ot1neu15.mf
-texmf-dist/fonts/source/public/othello/ot1neu20.mf
-texmf-dist/fonts/source/public/othello/ot1whi10.mf
-texmf-dist/fonts/source/public/othello/ot1whi15.mf
-texmf-dist/fonts/source/public/othello/ot1whi20.mf
-texmf-dist/fonts/source/public/othello/ot1white.mf
-texmf-dist/fonts/tfm/public/othello/ot10.tfm
-texmf-dist/fonts/tfm/public/othello/ot15.tfm
-texmf-dist/fonts/tfm/public/othello/ot1bla10.tfm
-texmf-dist/fonts/tfm/public/othello/ot1bla15.tfm
-texmf-dist/fonts/tfm/public/othello/ot1bla20.tfm
-texmf-dist/fonts/tfm/public/othello/ot1neu10.tfm
-texmf-dist/fonts/tfm/public/othello/ot1neu15.tfm
-texmf-dist/fonts/tfm/public/othello/ot1neu20.tfm
-texmf-dist/fonts/tfm/public/othello/ot1whi10.tfm
-texmf-dist/fonts/tfm/public/othello/ot1whi15.tfm
-texmf-dist/fonts/tfm/public/othello/ot1whi20.tfm
-texmf-dist/source/latex/othello/ot.bat
-texmf-dist/source/latex/othello/ot1.bat
-texmf-dist/tex/latex/othello/othello.sty
-texmf/lists/othello