From: Ivan Grokhotkov Date: Fri, 2 Nov 2018 12:38:16 +0000 (+0800) Subject: Merge branch 'bugfix/ci_make_html' into 'master' X-Git-Tag: v3.3-beta1~154 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7c5fd9326a22fd56b3ab52e9e1796f8b9fb2c200;p=esp-idf Merge branch 'bugfix/ci_make_html' into 'master' ci: revert accidental change from f0eb9985b9 See merge request idf/esp-idf!3607 --- 7c5fd9326a22fd56b3ab52e9e1796f8b9fb2c200