Merge pull request #4582 from tobiasd/20180311-doc
authorHypolite Petovan <mrpetovan@gmail.com>
Sun, 11 Mar 2018 16:35:12 +0000 (12:35 -0400)
committerGitHub <noreply@github.com>
Sun, 11 Mar 2018 16:35:12 +0000 (12:35 -0400)
installation docs


Trivial merge