3rd-party/catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-03-04 18:36:20 +01:00
Code Issues Packages Projects Releases Wiki Activity
7c816c7c0b
catch2/tools/scripts
History
Martin Hořeňovský fe405034b8
Add script checking convenience header correctness
2020-05-06 17:53:39 +02:00
..
approvalTests.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
approve.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
benchmarkCompile.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
benchmarkRunner.py Moved scripts/ to tools/scripts/ 2019-12-06 11:53:31 +01:00
checkConvenienceHeaders.py Add script checking convenience header correctness 2020-05-06 17:53:39 +02:00
developBuild.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
embed.py Moved scripts/ to tools/scripts/ 2019-12-06 11:53:31 +01:00
embedClara.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
extractFeaturesFromReleaseNotes.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
fixWhitespace.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
generateSingleHeader.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
majorRelease.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
minorRelease.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
patchRelease.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
releaseCommon.py Separate version macros to its own header 2020-01-19 15:39:11 +01:00
releaseNotes.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
scriptCommon.py Moved scripts/ to tools/scripts/ 2019-12-06 11:53:31 +01:00
updateDocumentToC.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00
updateWandbox.py Move all scripts to Python3 2020-04-29 21:28:52 +02:00