Reviewed warnings key names and dropdown in Preferences#2973
Merged
ffissore merged 1 commit intoarduino:masterfrom Apr 17, 2015
ffissore:warnings
Merged
Reviewed warnings key names and dropdown in Preferences#2973ffissore merged 1 commit intoarduino:masterfrom ffissore:warnings
ffissore merged 1 commit intoarduino:masterfrom
ffissore:warnings
Commits
Commits on Apr 13, 2015
- committed
Federico Fissore