Make working with cmake *alot* more convenient#14
Merged
vhdirk merged 30 commits intovhdirk:masterfrom Mar 30, 2018
Merged
Commits
Commits on Apr 9, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
