]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/FreeRTOS_Trace_Facilities' into 'master'
authorAngus Gratton <angus@espressif.com>
Fri, 20 Oct 2017 08:42:15 +0000 (16:42 +0800)
committerAngus Gratton <angus@espressif.com>
Fri, 20 Oct 2017 08:42:15 +0000 (16:42 +0800)
feature/make freertos trace facility configurable

See merge request !1420


Trivial merge