only add Catch2 conditionally #36

Merged
muellerr merged 1 commits from only-add-catch2-conditionally into main 2024-10-29 17:05:35 +01:00
No description provided.