mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-31 07:34:46 +02:00

These files were removed from the Catch2 branch, and crept back in when Catch2 merged with master
These files were removed from the Catch2 branch, and crept back in when Catch2 merged with master