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/othello35
1 files changed, 35 insertions, 0 deletions
diff --git a/Master/texmf/lists/othello b/Master/texmf/lists/othello
new file mode 100644
index 00000000000..7ca1d811d82
--- /dev/null
+++ b/Master/texmf/lists/othello
@@ -0,0 +1,35 @@
+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