Diffusion akantu (features/another-take-at-ci-stuffs) History

rAKA/test/ci/phabricator/.openmpi
features/another-take…ff5e68dcafd873ae11d6682…

Nov 13 2020

Missing openmpi configuration and renaing of docker config folders
57a358fd660b
·richart on Nov 13 2020, 12:03.