1 files changed, 0 insertions, 35 deletions
diff --git a/Master/texmf/lists/othello b/Master/texmf/lists/othello
deleted file mode 100644
index 7ca1d811d82..00000000000
--- a/Master/texmf/lists/othello
+++ /dev/null
@@ -1,35 +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/source/latex/othello/ot.bat
-texmf-dist/source/latex/othello/ot1.bat
-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/tex/latex/othello/othello.sty
-texmf-dist/tpm/othello.tpm
-
-texmf/lists/othello