This website requires JavaScript.
Explore
Help
Sign In
general
/
Catch2
Watch
2
Star
0
Fork
0
You've already forked Catch2
mirror of
https://github.com/catchorg/Catch2
synced
2026-01-28 07:52:07 +00:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
342ef5ca7eb7df0ee02dfa01714b6391cdbe87bc
Catch2
/
tools
/
scripts
/
developBuild.py
Martin Hořeňovský
0d8eeec557
Move all scripts to Python3
2020-04-29 21:28:52 +02:00
260 B
Executable File
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink