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-29 17:52:31 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
797d3b04dfab2bcfb4d2da17c6649727c60f49f1
Catch2
/
scripts
/
developBuild.py
Martin Hořeňovský
4dcdcc0ac3
Change developBuild to work same as *Release
2017-08-30 12:16:10 +02:00
259 B
Executable File
Raw
Blame
History
View Raw
Reference in New Issue
View Git Blame
Copy Permalink