Development setup in readme, and some adjustments#12192
Merged
jancborchardt merged 9 commits intomasterfrom development-setupNov 1, 2018
+84-63
Commits
Commits on Nov 1, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
