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 --- .../source/_themes/sphinx_rtd_theme/pulldown.html | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html (limited to 'user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html') diff --git a/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html b/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html deleted file mode 100644 index 7877346d8..000000000 --- a/user_guide_src/source/_themes/sphinx_rtd_theme/pulldown.html +++ /dev/null @@ -1,17 +0,0 @@ - - -- cgit v1.2.3-24-g4f1b