add option to add Catch2 for library users #38

Merged
muellerr merged 1 commits from add-catch2-option into main 2024-11-08 18:06:23 +01:00
No description provided.