This repository has been archived by the owner. It is now read-only.
Browse files

OpenMPI: Add alias

This is an alias "openmpi" => "open-mpi". Seemed useful to me.

Closes #8613.

Signed-off-by: Charlie Sharpsteen <>
  • Loading branch information...
1 parent 5547d8e commit 39d0bb53696942afc59abc08386cc58a09cf4733 @toothbrush toothbrush committed with Sharpie Nov 16, 2011
Showing with 1 addition and 0 deletions.
  1. +1 −0 Library/Aliases/openmpi

0 comments on commit 39d0bb5

Please sign in to comment.