adding some documentation hints and some smaller cleanup#4478
Merged
nickvergessen merged 6 commits intomasterfrom Apr 26, 2017
Merged
adding some documentation hints and some smaller cleanup#4478nickvergessen merged 6 commits intomasterfrom
nickvergessen merged 6 commits intomasterfrom
Commits
Commits on Apr 25, 2017
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
