general/Catch2
2
0
Fork 0
mirror of https://github.com/catchorg/Catch2 synced 2026-02-20 03:12:10 +00:00
Code Issues Projects Releases Wiki Activity
Files
dd99a66cf448f67113e5cf82eacb287668d2e4da
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