From c576995304fc3609cca0b7b92d1b2cd611ec82f5 Mon Sep 17 00:00:00 2001 From: Andrey Andreev Date: Wed, 16 Jan 2019 17:49:35 +0200 Subject: [ci skip] 3.1.10 release --- user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf b/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf deleted file mode 100644 index 5814ac963..000000000 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf +++ /dev/null @@ -1,8 +0,0 @@ -[theme] -inherit = basic -stylesheet = css/citheme.css - -[options] -typekit_id = hiw1hhg -analytics_id = -sticky_navigation = False -- cgit v1.2.3-24-g4f1b