]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/docs_fixes_from_github' into 'master'
authorAngus Gratton <angus@espressif.com>
Mon, 29 Oct 2018 23:40:16 +0000 (07:40 +0800)
committerAngus Gratton <angus@espressif.com>
Mon, 29 Oct 2018 23:40:16 +0000 (07:40 +0800)
Documentation bugfixes from GitHub

See merge request idf/esp-idf!3570


Trivial merge