From: Ivan Grokhotkov Date: Wed, 15 Aug 2018 21:23:54 +0000 (+0800) Subject: Merge branch 'docs/simplified_rtd_theme_configuration' into 'master' X-Git-Tag: v3.2-beta1~312 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=73e18a4c96981ccc826aa258efe4897cc6b10b60;p=esp-idf Merge branch 'docs/simplified_rtd_theme_configuration' into 'master' Removed redundant code to configure 'sphinx-rtd-theme' for documentation See merge request idf/esp-idf!2921 --- 73e18a4c96981ccc826aa258efe4897cc6b10b60