Skip to content

Do not save build_properties_custom.* preferences to disk#4853

Merged
cmaglie merged 1 commit intoarduino:masterfrom
sandeepmistry:no-save-build_properties_custom-prefs
Apr 12, 2016

Commits

Commits on Apr 12, 2016