Allow install Theme from Preferences dialog#10202
Open
ricardojlrufino wants to merge 6 commits intoarduino:masterfrom ricardojlrufino:pr-install-theme
+89-1
Commits
Commits on May 13, 2020
Commits on May 14, 2020
- committed
- committed
- committed
Merge branch 'pr-install-theme' of https://github.com/ricardojlrufino/Arduino.git into pr-install-theme
committed