Index of /tex-archive/macros/texinfo/texinfo/djgpp

	Name	Last modified	Size	Description
	Parent Directory		-
	config.bat	2023-08-09 15:10	7.3K
	config.sed	2023-08-09 15:10	4.7K
	config.site	2023-08-09 15:10	2.1K