Ivan Grokhotkov 46cfc436ad Merge branch 'feature/idf_tools_github_mirror' into 'master' 5 lat temu
..
idf_exe 976cb8fd61 tools: idf_exe: add Ctrl+C processing 5 lat temu
tool_setup 46cfc436ad Merge branch 'feature/idf_tools_github_mirror' into 'master' 5 lat temu
eclipse_make.py 3c7954ea49 tools: Fix Python 3 incompatibility for building with Eclipse on Windows 5 lat temu
eclipse_make.sh e94288da31 global: use '/usr/bin/env bash' instead of '/usr/bin/bash' in shebangs 5 lat temu
windows_install_prerequisites.sh 439f4e4f70 Update toolchain to esp-2020r3 5 lat temu