mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-25 20:04:46 +01:00

If they are needed in the future, they can be reinstated, but there is no point in keeping them around currently.
If they are needed in the future, they can be reinstated, but there is no point in keeping them around currently.