/systems/knuth/local/etc/

0 directories 8 files

	Name	Size	Modified
	Go up	—	—
	addencodings.pl	185 KiB	03/03/2020 12:44:41 AM +00:00
	dvityext.h	478 B	05/01/2000 02:22:25 AM +00:00
	Makefile	989 B	05/01/2000 02:22:12 AM +00:00
	texwarext.h	156 B	05/01/2000 02:06:32 AM +00:00
	vftovp.ch	7.2 KiB	05/01/2000 02:19:52 AM +00:00
	vftovp.p	45 KiB	05/01/2000 02:22:25 AM +00:00
	vptovf.ch	3.4 KiB	05/01/2000 02:06:02 AM +00:00
	vptovf.p	64 KiB	05/01/2000 02:06:32 AM +00:00