Index of /systems/knuth/local/etc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]Makefile2000-04-30 20:22 1.0K 
[TXT]dvityext.h2000-04-30 20:22 478  
[TXT]texwarext.h2000-04-30 20:06 156  
[TXT]vftovp.ch2000-04-30 20:19 7.2K 
[   ]vftovp.p2000-04-30 20:22 45K 
[TXT]vptovf.ch2000-04-30 20:06 3.4K 
[   ]vptovf.p2000-04-30 20:06 64K