From a2db9231d848f6dfa77a56fdf363a54efaa54310 Mon Sep 17 00:00:00 2001 From: Dave Snider Date: Sun, 3 Nov 2013 15:33:10 -0800 Subject: [PATCH] forgot to build dist --- dist/sphinx_rtd_theme/footer.html | 3 +++ 1 file changed, 3 insertions(+) diff --git a/dist/sphinx_rtd_theme/footer.html b/dist/sphinx_rtd_theme/footer.html index 5228aac6..24b4c642 100644 --- a/dist/sphinx_rtd_theme/footer.html +++ b/dist/sphinx_rtd_theme/footer.html @@ -1,6 +1,7 @@