Skip to content

[theme] remove editorOptions.theme#26656

Merged
aeschli merged 1 commit intomasterfrom
aeschli/remove-editorconfig-theme
May 15, 2017
Merged

[theme] remove editorOptions.theme#26656
aeschli merged 1 commit intomasterfrom
aeschli/remove-editorconfig-theme

Commits

Commits on May 15, 2017