Index of /texlive/devsrc/Master/texmf-dist/source/fonts/rosario

	Name	Last modified	Size	Description
	Parent Directory		-
	Rosario.dtx	2019-07-21 00:24	23K
	Rosario.ins	2019-07-13 23:38	1.3K