aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Aliases/openmpi
AgeCommit message (Collapse)Author
2011-11-16OpenMPI: Add aliasPaul van der Walt
This is an alias "openmpi" => "open-mpi". Seemed useful to me. Closes #8613. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>