Index of /pub/CTAN/systems/knuth/local/etc

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