mirror of
https://github.com/mruby/mruby
synced 2026-06-08 16:11:16 +00:00
6be0dd7de6
Arduino IDE >= 1.5.7 Changed ARDUINO_PATH from `Contents/Resources/Java` to `Contents/Java`, mentioned in #2632