catchorg/Catch2
1
0
Fork 1
mirror of https://github.com/catchorg/Catch2.git synced 2026-07-07 00:50:52 +02:00
Code Issues Packages Projects Releases Wiki Activity
4,024 Commits 11 Branches 144 Tags
ae475a3c19e9b770e66ea3a2ce3eaa2debecd4c6
Commit Graph

3 Commits

Author SHA1 Message Date
Richard Ash a862924601 Make scripts/updateDocumentToC.py executable. 
On systems where the file system has excute permissions, this script was
not marked as executable in a clean git checkout and so could be run
without first changing the permissions. Fixed by setting the relevant
git flag.
 2020-07-22 21:43:16 +02:00
Martin Hořeňovský 0d8eeec557 Move all scripts to Python3 2020-04-29 21:28:52 +02:00
Martin Hořeňovský 91ee07e08c Moved scripts/ to tools/scripts/ 2019-12-06 11:53:31 +01:00