Re: [MacPorts] #26459: openmpi: rename man pages

2 May 2012

      #26459: openmpi: rename man pages
---------------------------------+------------------------------------------
 Reporter:  raimue@…             |       Owner:  mww@…           
     Type:  defect               |      Status:  new             
 Priority:  Normal               |   Milestone:                  
Component:  ports                |     Version:  1.9.1           
 Keywords:                       |        Port:  openmpi         
---------------------------------+------------------------------------------

Comment(by ryandesign@…):

 This is kind of a duplicate of #11576, yeah?

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