app-shells/mpibash: fix build with mpi-3
[gentoo.git] / app-shells / mpibash / files /
drwxr-xr-x   ..
-rw-r--r-- 806 mpi-3.patch