Files
Paul van der Walt 39d0bb5369 OpenMPI: Add alias
This is an alias "openmpi" => "open-mpi". Seemed useful to me.

Closes #8613.

Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
2011-11-16 08:14:58 -08:00

Symbolic link
1 line
22 B
Plaintext