Angus Gratton fa7126b628 Merge branch 'feature/idf_tools_github_mirror_v4.0' into 'release/v4.0'
Add GitHub mirror option for IDF tools installs (v4.0)

See merge request espressif/esp-idf!13767
2021-07-13 03:52:29 +00:00
..
2020-11-30 16:29:54 +05:30
2021-04-28 19:32:59 +08:00
2020-06-24 13:22:21 +08:00
2016-11-03 18:41:00 +08:00
2019-05-29 17:11:53 +10:00