summaryrefslogtreecommitdiff
path: root/tools/build_scripts/z3_PackArchives.bat
AgeCommit message (Expand)Author
2017-09-30nightly builds went to VS2017George Hazan
2017-09-28adapting build scripts to use any compiler, not only vs2010George Hazan
2017-08-28fixes for building stable versionGeorge Hazan
2017-08-05build scripts for those who are willing to keep it all goingwatcherhd