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)
commit8253bd6098a425ffcfa27f7687876df64be19b75
treeba953fae9fae91acc6ef9dcd371f5743cc3cbdd6
parentd4f3c9ac49ebe9a3ef07055071b4f1649059e14d
parent52046a2519adf8110ecb0b69dc026a0caf1881d3
Merge pull request #38 from nadav-har-tzvi/docs

Integration with RTD