Catch2/scripts/generateSingleHeader.py at 4e88ccda568730bdeb4dd67da894c01f4e9c9acc - Catch2 - brunner.ninja Code

catchorg/Catch2

mirror of https://github.com/catchorg/Catch2.git synced 2026-01-30 02:02:26 +01:00

Files

Phil Nash 7293c9785a header builder script writes to file rather than stdout

2013-04-24 20:19:05 +01:00

4.0 KiB

Raw Blame History

View Raw