Package mpi-selector

• mpi-selector(1) — A simple site\-wide/per\-user MPI selection tool for
• mpi-selector-menu(1) — A menu\-based wrapper around the mpi\-selector command