mirror of
https://github.com/esp8266/Arduino.git
synced 2025-04-25 20:02:37 +03:00
Add the ID string reported by MSYS's latest tools under Windows with the string "MINGW..." as "Windows" for toolchain selection in get.py
Add the ID string reported by MSYS's latest tools under Windows with the string "MINGW..." as "Windows" for toolchain selection in get.py