Skip to content

COMP: No longer add BUILD_SHARED_LIBS option#283

Merged
N-Dekker merged 1 commit intodevelopfrom
No-longer-add-BUILD_SHARED_LIBS-option
Sep 12, 2020
Merged

COMP: No longer add BUILD_SHARED_LIBS option#283
N-Dekker merged 1 commit intodevelopfrom
No-longer-add-BUILD_SHARED_LIBS-option

Commits

Commits on Sep 12, 2020