Skip to content

No openmpi option

Latest

Choose a tag to compare

@kdvalin kdvalin released this 15 Sep 15:24
no-mpi

Add no_openmpi to option list