Skip to content

Cleanup board/library manager color setting and somewhat support dark themes#9272

Merged
cmaglie merged 3 commits intoarduino:masterfrom
matthijskooijman:manager-colors
Oct 16, 2019

Commits

Commits on Oct 1, 2019