Merge pull request #34 from khaledhosny/docs
authorDov Grobgeld <dov.grobgeld@gmail.com>
Tue, 21 Nov 2017 13:28:14 +0000 (14:28 +0100)
committerGitHub <noreply@github.com>
Tue, 21 Nov 2017 13:28:14 +0000 (14:28 +0100)
Doc fixes


Trivial merge