Index of /~marino/dports-src/texinfo/7.0

	Name	Last modified	Size	Description
	Parent Directory		-
	htmlxref.cnf-20221008	2022-10-08 14:52	22K
	texi2dvi-20221107	2022-11-07 13:13	57K
	texinfo.tex-20221112	2022-11-12 14:53	369K