1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-08-09 22:24:14 +03:00
Commit Graph

2 Commits

Author SHA1 Message Date
Federico Fissore
9b58812d1d Preparing the ground for rewriting Preferences GUI code (and hopefully fixing the tiny-pref-window bug on macosx) 2015-05-05 10:02:12 +02:00
Federico Fissore
527e07b26f fixed java 1.5 compatibility issue
moved unknown AutoFormat class to external folder
2012-12-04 11:54:19 +01:00