]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'bugfix/remove_unneeded_header_file_including' into 'master'
authorJiang Jiang Jian <jack@espressif.com>
Tue, 25 Apr 2017 05:23:03 +0000 (13:23 +0800)
committerJiang Jiang Jian <jack@espressif.com>
Tue, 25 Apr 2017 05:23:03 +0000 (13:23 +0800)
remove unneeded header file including

See merge request !695


Trivial merge