]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'doc/review_api-reference_indexes' into 'master'
authorKrzysztof Budzynski <krzysztof@espressif.com>
Mon, 29 Apr 2019 02:53:42 +0000 (10:53 +0800)
committerKrzysztof Budzynski <krzysztof@espressif.com>
Mon, 29 Apr 2019 02:53:42 +0000 (10:53 +0800)
Doc/review api reference indexes

See merge request idf/esp-idf!4876


Trivial merge