general/Catch2
2
0
Fork 0
mirror of https://github.com/catchorg/Catch2 synced 2026-02-14 01:12:11 +00:00
Code Issues Projects Releases Wiki Activity
Files
d2d8455b571b6c66c4b7003500a77f9a93ecdc28
Catch2/scripts/releaseCommon.py
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

6.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink