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

tools: Fix Python 3 incompatibility for building with Eclipse on Windows

2020-09-09 13:00:37 +02:00

eclipse_make.sh

global: use '/usr/bin/env bash' instead of '/usr/bin/bash' in shebangs

2020-04-03 01:10:02 +02:00

windows_install_prerequisites.sh

Update toolchain to esp-2020r3

2020-09-03 14:09:38 +07:00