Jose Gracia ca0b9964f7 Disable recording of events for MPI_Comm_{size,rank}, etc		2024-01-15 09:13:34 +01:00
..
extrae/share	Disable recording of events for MPI_Comm_{size,rank}, etc	2024-01-15 09:13:34 +01:00
mpiP/share	Report scaling used	2023-07-27 10:46:52 +02:00