Merge pull request #38 from nadav-har-tzvi/docs master
authorYaniv Rodenski <roadan@gmail.com>
Sat, 12 Jan 2019 00:48:53 +0000 (11:48 +1100)
committerGitHub <noreply@github.com>
Sat, 12 Jan 2019 00:48:53 +0000 (11:48 +1100)
Integration with RTD


Trivial merge