mirror of
https://github.com/catchorg/Catch2.git
synced 2025-07-04 16:45:32 +02:00

This will be done with a simple #ifdef instead. This reverts commit 6498a5112cf02cddeb0b300d9ad3620159c9931f.
This will be done with a simple #ifdef instead. This reverts commit 6498a5112cf02cddeb0b300d9ad3620159c9931f.