v5.0.x: configury: ensure to remove *.mod files#13256
Merged
janjust merged 1 commit intoopen-mpi:v5.0.xfrom Jun 9, 2025
Merged
v5.0.x: configury: ensure to remove *.mod files#13256janjust merged 1 commit intoopen-mpi:v5.0.xfrom
janjust merged 1 commit intoopen-mpi:v5.0.xfrom