Skip to content

cmd_line: fix "ompi_info --help"#10850

Merged
jsquyres merged 1 commit intoopen-mpi:mainfrom
jsquyres:pr/fix-ompi-info-help
Sep 26, 2022
Merged

cmd_line: fix "ompi_info --help"#10850
jsquyres merged 1 commit intoopen-mpi:mainfrom
jsquyres:pr/fix-ompi-info-help

Commits

Commits on Sep 26, 2022