mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-10 04:54:21 +01:00
Adds a checkbox to the preferences dialog that controls whether or not to verify code on upload via serial (verification still always occurs when uploading using a programmer). It is checked by default to match current behavior.