carta

MPI_Finalize.openmpi(3) on Linux

The text 4a6524c89df8, as Debian 8 (Jessie) shipped it.

Terminates MPI execution environment.

MPI_Finalize.openmpi(3) on Linux now