general/Catch2
2
0
Fork 0
mirror of https://github.com/catchorg/Catch2 synced 2026-02-17 02:12:10 +00:00
Code Issues Projects Releases Wiki Activity
Files
3a409e9fd4858f46bb0c753f1e967b23005e2aef
Catch2/scripts/releaseCommon.py
Martin Hořeňovský 93f84b5b0d Modified generateSingleHeader script to work with .cpp files better 
Also fixed the scripts to take into account renamed version file
2017-07-09 21:02:36 +02:00

3.1 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink