]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/kconfig_source_comment' into 'master'
authorAngus Gratton <angus@espressif.com>
Tue, 25 Jun 2019 02:22:12 +0000 (10:22 +0800)
committerAngus Gratton <angus@espressif.com>
Tue, 25 Jun 2019 02:22:12 +0000 (10:22 +0800)
tools: Fix Kconfig checker for comments and source after help

See merge request idf/esp-idf!5275


Trivial merge