Merge pull request #34 from rbberger/make_py_fixes
Update Make.py
GitHub <noreply@github.com> | Sep 16 2016, 21:19 |
junge | Oct 19 2017, 09:53 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
319b1607525d | Richard Berger | Add exceptions setting to help message of Make.py | Sep 15 2016 | |||
cddc1dbb11fd | Richard Berger | Added exceptions flag to Make.py | Sep 15 2016 | |||
62bf307d3cc6 | Richard Berger | Fix bug introduced into Make.py by latest changes | Sep 15 2016 |