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	tools: idf_exe: add Ctrl+C processing	2020-11-25 21:23:55 +08:00
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	…