general/Catch2
2
0
Fork 0
mirror of https://github.com/catchorg/Catch2 synced 2026-02-03 09:42:25 +00:00
Code Issues Projects Releases Wiki Activity
Files
616f7235efc875ee239c1dc6ddb48025e05e57ff
Catch2/scripts/developBuild.py
Mickey Rose 46d166406d Set execute permission on runnable python scripts
2017-03-15 12:24:18 +01:00

261 B
Executable File
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink