Matthew Honnibal f5fab2d9d7 * Switch to using sphinx_rtd_theme locally, instead of via pip install, for better control. Specifically, need to support google analytics		2015-01-27 18:52:47 +11:00
..
source	* Switch to using sphinx_rtd_theme locally, instead of via pip install, for better control. Specifically, need to support google analytics	2015-01-27 18:52:47 +11:00
Makefile	* Re-add docs, sorting out mess from gh-pages	2014-09-25 18:42:20 +02:00