This website requires JavaScript.
Explore
Help
Sign In
catchorg
/
Catch2
Watch
1
Star
0
Fork
1
You've already forked Catch2
mirror of
https://github.com/catchorg/Catch2.git
synced
2026-01-26 17:22:28 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
42e368dd0aedc122798008d8c4f583fea3296a97
Catch2
/
scripts
/
developBuild.py
Martin Hořeňovský
695a356f93
Move all scripts to Python3
2020-03-19 12:36:30 +01:00
260 B
Executable File
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink