Manpages of src:mpi-selector

• mpi-selector-menu(1)
• mpi-selector(1)