Josh Hursey 3e847c19f0 Per RFC: MPI Interface Extensions Infrastructure ... Add infrastructure for MPI Interface Extensions. This allows a developer to create new MPI interfaces that are non-standard. The following email thread describes the functionality proposed in the RFC: http://www.open-mpi.org/community/lists/devel/2009/05/5997.php The following wiki page describes how to use and enable the extensions: https://svn.open-mpi.org/trac/ompi/wiki/MPIExtensions This commit was SVN r21272.		2009-05-26 20:49:35 +00:00
..
progress.c	Per RFC: MPI Interface Extensions Infrastructure	2009-05-26 20:49:35 +00:00