mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-18 07:52:14 +01:00
Merge branch 'master' into ide-1.5.x
Conflicts: app/src/processing/app/Sketch.java app/src/processing/app/debug/Compiler.java
This commit is contained in:
commit
8be693e7ac