Ivan Grokhotkov 46cfc436ad Merge branch 'feature/idf_tools_github_mirror' into 'master' ... Add GitHub mirror option for IDF tools installs Closes IDF-2028 See merge request espressif/esp-idf!10616		2020-12-14 15:58:51 +08:00
..
idf_exe	…
tool_setup	Merge branch 'feature/idf_tools_github_mirror' into 'master'	2020-12-14 15:58:51 +08:00
eclipse_make.py	…
eclipse_make.sh	…
windows_install_prerequisites.sh	…