]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/monitor_filter_output' into 'master'
authorAngus Gratton <angus@espressif.com>
Fri, 8 Jun 2018 00:09:40 +0000 (08:09 +0800)
committerAngus Gratton <angus@espressif.com>
Fri, 8 Jun 2018 00:09:40 +0000 (08:09 +0800)
idf_monitor: add support for filtering options

See merge request idf/esp-idf!2486


Trivial merge