diff options
author | Andrey Andreev <narf@devilix.net> | 2018-01-13 12:57:11 +0100 |
---|---|---|
committer | Andrey Andreev <narf@devilix.net> | 2018-01-13 12:57:11 +0100 |
commit | 02a0518e1c56ba3506f370362ac5ebdb8a138312 (patch) | |
tree | 8b4684192b403dcae17d298eb4fc9e7ab001acad /user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf | |
parent | f0b9735d5857e6c07c8f5824b13cff4828db3cfe (diff) |
[ci skip] 3.1.7 release
Diffstat (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf')
-rw-r--r-- | user_guide_src/source/_themes/sphinx_rtd_theme/theme.conf | 8 |
1 files changed, 0 insertions, 8 deletions
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 |