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