Index of /pub/tex-archive/obsolete/support/detex/os2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]detex.def1999-05-12 09:45 72  
[ ]detex-32.def1999-05-12 09:45 89  
[ ]README1999-05-12 09:45 366  
[ ]makefile.os21999-05-12 09:45 2.0K 
Apache/2.4.58 (Ubuntu) Server at 155.101.98.136 Port 80