Index of /pub/tex-archive/obsolete/systems/unix/linux/texmin

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]README1999-02-10 17:00 100  
[ ]texmin-0.1.README1993-05-12 16:00 1.9K 
[ ]texmin-0.1.tar.z1993-05-12 16:00 1.8M 
Apache/2.4.58 (Ubuntu) Server at 155.101.98.136 Port 80