catchorg/Catch2
1
0
Fork 1
mirror of https://github.com/catchorg/Catch2.git synced 2025-11-04 00:51:52 +01:00
Code Issues Packages Projects Releases Wiki Activity
3,915 Commits 10 Branches 139 Tags
fc5552d27b57628f8faf6064ca6b305e2d3bf458
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