Index of /systems/knuth/local/etc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]Makefile 2000-05-01 06:52 1.0K 
[   ]addencodings.pl 2020-03-03 04:14 185K 
[TXT]dvityext.h 2000-05-01 06:52 478  
[TXT]texwarext.h 2000-05-01 06:36 156  
[TXT]vftovp.ch 2000-05-01 06:49 7.2K 
[   ]vftovp.p 2000-05-01 06:52 45K 
[TXT]vptovf.ch 2000-05-01 06:36 3.4K 
[   ]vptovf.p 2000-05-01 06:36 64K