svn - Revision 57177: /packages/openmpi/ompi/mpi/man