Skip to content
Snippets Groups Projects
Select Git revision
0 results
Compare
user avatar
BUG: mpi: use system openmpi by default
mattijs authored
09c67d90
History
user avatar 09c67d90
History
Name Last commit Last update