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
Owner
No description provided.
muellerr added 1 commit 2024-11-08 18:06:13 +01:00
muellerr merged commit 2cefd4095e into main 2024-11-08 18:06:23 +01:00
muellerr deleted branch add-catch2-option 2024-11-08 18:06:24 +01:00
Sign in to join this conversation.
No description provided.