Cmake, travis, and others - #109
Open
NikolausDemmel wants to merge 28 commits into
Open
Commits
Commits on Dec 1, 2017
Commits on Dec 2, 2017
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed