Index of /pub/texlive/Contents/live/texmf-dist/fonts/source/public/othello

	Name	Last modified	Size
	Parent Directory		-
	ot1black.mf	2006-01-09 16:38	18K
	ot1white.mf	2006-01-09 16:38	18K
	ot1neu.mf	2006-01-09 16:38	18K
	ot.mf	2006-01-09 16:38	7.5K
	ot1whi20.mf	2006-01-09 16:38	216
	ot1whi15.mf	2006-01-09 16:38	216
	ot1whi10.mf	2006-01-09 16:38	216
	ot1neu20.mf	2006-01-09 16:38	216
	ot1neu15.mf	2006-01-09 16:38	216
	ot1neu10.mf	2006-01-09 16:38	216
	ot1bla20.mf	2006-01-09 16:38	216
	ot1bla15.mf	2006-01-09 16:38	216
	ot1bla10.mf	2006-01-09 16:38	216
	ot15.mf	2006-01-09 16:38	202
	ot10.mf	2006-01-09 16:38	202