]> granicus.if.org Git - esp-idf/commitdiff
Merge branch 'feature/dockerfile' into 'master'
authorIvan Grokhotkov <ivan@espressif.com>
Thu, 18 Jul 2019 11:52:38 +0000 (19:52 +0800)
committerIvan Grokhotkov <ivan@espressif.com>
Thu, 18 Jul 2019 11:52:38 +0000 (19:52 +0800)
tools: add Dockerfile

Closes IDFGH-1304 and IDF-590

See merge request espressif/esp-idf!5432


Trivial merge