source: trunk/dports/_resources @ 116345

Name Size Rev Age Author Last Change
../
port1.0 116345   5 years sean mpi-1.0: set mpi.name to the correct port name
Note: See TracBrowser for help on using the repository browser.