Master#725

Merged

jgebal merged 10 commits intodevelopfrom

Jul 22, 2018

Commits on Jul 19, 2018

Commits on Jul 20, 2018

Updated lints to cheat-sheets.
jgebal
committed
Updated project version after build [skip ci]
Travis CI
committed

Commits on Jul 22, 2018