1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00
Federico Fissore 38d5e916ca Merge pull request #2973 from ffissore/warnings
Reviewed warnings key names and dropdown in Preferences
2015-04-17 23:55:54 +02:00
..