mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-28 09:24:14 +01:00
Merge branch 'pr-install-theme' of https://github.com/ricardojlrufino/Arduino.git into pr-install-theme
This commit is contained in:
commit
703c1768bb