Index of /systems/knuth/local/etc/

8 files, 307 KiB

NameModified (UTC)Size
../
Makefile2000-05-01 02:22989 B
addencodings.pl2020-03-03 00:44185 KiB
dvityext.h2000-05-01 02:22478 B
texwarext.h2000-05-01 02:06156 B
vftovp.ch2000-05-01 02:197.2 KiB
vftovp.p2000-05-01 02:2245 KiB
vptovf.ch2000-05-01 02:063.4 KiB
vptovf.p2000-05-01 02:0664 KiB