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

1 Commits

Author SHA1 Message Date
847228911f
add option to add Catch2 for library users 2024-11-08 18:04:36 +01:00