Skip to content

updated CPM and Catch2, used CPM options to disable not needed catch2 options#896

Merged
gittiver merged 1 commit intomasterfrom catch2_disable_unneeded_optionsSep 10, 2024

Commits

Commits on Sep 8, 2024