Index of /systems/knuth/local/etc

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] addencodings.pl         2020-03-03 01:44  185K  
[TXT] vptovf.p                2000-05-01 04:06   64K  
[TXT] vftovp.p                2000-05-01 04:22   45K  
[   ] vftovp.ch               2000-05-01 04:19  7.2K  
[   ] vptovf.ch               2000-05-01 04:06  3.4K  
[   ] Makefile                2000-05-01 04:22  1.0K  
[TXT] dvityext.h              2000-05-01 04:22  478   
[TXT] texwarext.h             2000-05-01 04:06  156