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

	Name	Last modified	Size	Description
	Parent Directory		-
	texinfo.tex-20241220	2024-12-20 12:21	374K
	htmlxref.cnf-20241223	2024-12-23 01:11	24K
	texi2dvi-20241223	2024-12-23 01:12	51K