-
Morris Jette authored
Modify output of "--mpi=list" to avoid duplicates for version numbers in mpi/pmix plugin names.
c125875f
To find the state of this project's repository at the time of any of these versions, check out the tags.
Modify output of "--mpi=list" to avoid duplicates for version numbers in mpi/pmix plugin names.