Index of /texlive/devsrc/Master/texmf-dist/source/generic/namedef

	Name	Last modified	Size	Description
	Parent Directory		-
	namedef.dtx	2020-06-20 22:40	51K
	namedef.ins	2020-06-20 22:40	2.3K