[MacPorts] #26459: openmpi: rename man pages
MacPorts
noreply at macports.org
Thu May 3 14:57:55 PDT 2012
#26459: openmpi: rename man pages
----------------------------------+-----------------------------------------
Reporter: raimue@… | Owner: mww@…
Type: defect | Status: closed
Priority: Normal | Milestone:
Component: ports | Version: 1.9.1
Resolution: duplicate | Keywords:
Port: openmpi |
----------------------------------+-----------------------------------------
Changes (by raimue@…):
* status: new => closed
* resolution: => duplicate
Comment:
Yes, this is an exact duplicate. Closing this ticket.
--
Ticket URL: <https://trac.macports.org/ticket/26459#comment:2>
MacPorts <http://www.macports.org/>
Ports system for Mac OS
More information about the macports-tickets
mailing list