]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/freertos_api_doc' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Thu, 7 Dec 2017 05:50:10 +0000 (13:50 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Thu, 7 Dec 2017 05:50:10 +0000 (13:50 +0800)
Add FreeRTOS API documentation

See merge request !1634


Trivial merge