Index of /ports/print/detex

      Name                    Last modified       Size  Description


[DIR] Parent Directory        13-Sep-2008 13:32      -  
[   ] Makefile                05-Feb-2004 12:37     1k  
[   ] distinfo                25-Nov-2005 09:42     1k  
[   ] pkg-descr               06-Aug-2002 06:34     1k  
[DIR] work/                   11-Jan-2008 21:00      -
Apache/1.3.33 Server at src.gnu-darwin.org Port 80