[MacPorts] #12913: tetex is dead

[MacPorts]

#12913: tetex is dead
-----------------------------------+----------------------------------------
  Reporter:  zach at tu-clausthal.de  |       Owner:  gwright at macports.org
      Type:  enhancement           |      Status:  closed              
  Priority:  Normal                |   Milestone:  Port Enhancements   
 Component:  ports                 |     Version:  1.5.0               
Resolution:  fixed                 |    Keywords:                      
-----------------------------------+----------------------------------------
Changes (by jmr at macports.org):

 * cc: jmr at macports.org (added)
  * status:  new => closed
  * resolution:  => fixed

Comment:

 Switched over the remaining dependencies in r37228.

-- 
Ticket URL: <http://trac.macports.org/ticket/12913#comment:16>
MacPorts <http://www.macports.org/>
Ports system for Mac OS