Index of /systems/knuth/local/etc

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] 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 [   ] vftovp.ch 2000-05-01 04:19 7.2K [TXT] vftovp.p 2000-05-01 04:22 45K [   ] vptovf.ch 2000-05-01 04:06 3.4K [TXT] vptovf.p 2000-05-01 04:06 64K
Apache/2.4.29 (Ubuntu) Server at ctan.mines-albi.fr Port 80