1
0
mirror of https://github.com/catchorg/Catch2.git synced 2025-03-09 21:24:46 +01:00
Martin Hořeňovský 44dbda9f01 Add CATCH_VERSION_* defines for external use
I wonder how much use they will actually see, but their cost is
fairly minor.

Closes 
2018-01-26 20:56:14 +01:00
..