Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #94 from matthias-mayr/pr_build_type
New: Sets "Release" build type if none is specified
- Loading branch information