Skip to content

configury: do not require util directory when configuring in embedded…#234

Merged
bgoglin merged 1 commit intoopen-mpi:masterfrom
ggouaillardet:topic/configury_embedded
Apr 10, 2017
Merged

configury: do not require util directory when configuring in embedded…#234
bgoglin merged 1 commit intoopen-mpi:masterfrom
ggouaillardet:topic/configury_embedded

Commits

Commits on Apr 10, 2017