]> granicus.if.org Git - esp-idf/commit
projects / esp-idf / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b6010b) | patch
tools: idf_tools.py: allow downloading for a different platform
authorIvan Grokhotkov <ivan@espressif.com>
Thu, 18 Jul 2019 15:20:40 +0000 (17:20 +0200)
committerIvan Grokhotkov <ivan@espressif.com>
Sun, 28 Jul 2019 05:27:00 +0000 (07:27 +0200)
commit3e17c69e4fa0b90a95884672f339568c80b071ae
treed0c18202097e6e157f813acc707916094048aa27tree | snapshot
parent1b6010bedf1213c4b27a6e069c96df38bc9b86a2commit | diff
tools: idf_tools.py: allow downloading for a different platform
tools/idf_tools.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.