Index of /texlive/devsrc/Master/texmf-dist/source/platex/pxrubrica

	Name	Last modified	Size	Description
	Parent Directory		-
	pxrubrica.dtx	2021-03-06 22:59	207K
	pxrubrica.ins	2012-12-11 03:16	118