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

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