mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
Small adjustments
This commit is contained in:
parent
681cdb9faf
commit
45e860525c