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 #1131
2018-01-26 20:56:14 +01:00
..
2017-12-09 21:29:39 +01:00
2018-01-26 16:06:07 +01:00
2017-08-24 22:56:27 +02:00