1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-21 10:26:06 +03:00

6 Commits

Author SHA1 Message Date
Ivan Grokhotkov
16a2cdcf41 Add script to merge boards manager packages 2015-11-17 15:42:20 +03:00
Ivan Grokhotkov
daf360dff8 Fix issue with get.py when run in Cygwin (#943) 2015-10-31 15:07:30 +03:00
Ivan Grokhotkov
ab6a480ab0 Fix get.py for the case when path doesn't exist 2015-10-30 17:49:51 +03:00
Ivan Grokhotkov
444a37987e Use jq to generate package json 2015-10-30 17:40:17 +03:00
Ivan Grokhotkov
a631269f3c Update readme and fix tool paths 2015-10-30 01:58:56 +03:00
Ivan Grokhotkov
90fc4f975b Add tool to download other tools 2015-10-30 01:15:29 +03:00