From 10698cc44d8fa9615892e378df399820e2f073cb Mon Sep 17 00:00:00 2001 From: Victor Zverovich Date: Tue, 4 Nov 2014 08:31:07 -0800 Subject: [PATCH] Update theme --- doc/sphinx_rtd_theme | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/sphinx_rtd_theme b/doc/sphinx_rtd_theme index 44e41676..6f56701d 160000 --- a/doc/sphinx_rtd_theme +++ b/doc/sphinx_rtd_theme @@ -1 +1 @@ -Subproject commit 44e41676943b4ebf22588b8d695054ab5ee39111 +Subproject commit 6f56701db1654418bbe9832d17b445a979953f79