open-mpi/svn-to-git-conversion

Scripts for handling the Open MPI SVN-to-git-and-Github conversion.

Python