Closed GoogleCodeExporter closed 9 years ago
IDE was updated to have specific preferences for each version. See here for
more : https://github.com/arduino/Arduino/issues/1167
Original comment by s.fitzge...@arduino.cc
on 5 Nov 2013 at 6:54
... but could be still helpful in the docs.
Original comment by pow...@gmx.de
on 5 Nov 2013 at 9:25
Original issue reported on code.google.com by
pow...@gmx.de
on 2 Nov 2012 at 11:42