Index of /pub/texlive/Contents/live/texmf-dist/tex/plain/getoptk

	Name	Last modified	Size
	Parent Directory		-
	getoptk.tex	2011-08-06 17:43	5.4K
	guide.tex	2011-08-15 17:04	6.5K