Files
Ivan Grokhotkov d21e948381 Merge branch 'feature/idf_tools_github_mirror_v4.2' into 'release/v4.2'
Add GitHub mirror option for IDF tools installs (v4.2)

See merge request espressif/esp-idf!13765
2021-06-07 06:06:31 +00:00
..
2020-05-21 10:42:59 +08:00
2021-02-23 11:39:33 +08:00