Skip to content

Commit

Permalink
Drop unused copy of Catch2
Browse files Browse the repository at this point in the history 
Now that the system version of Catch2 is used, the embedded copy is no
more needed.
  • Loading branch information
@pinotree
pinotree committed Jul 30, 2023
1 parent ac49b71 commit eec8507
Showing 1 changed file with 0 additions and 17,959 deletions.
Loading

0 comments on commit eec8507

Please sign in to comment.