Skip to content

Use short version in openmpi version set#4

Merged
unkcpz merged 1 commit intomainfrom short-version-openmpiJun 16, 2024

Commits