Skip to content

Ignore all unknown editor settings in conversion#650

Merged
JoshuaKGoldberg merged 1 commit intomasterfrom
ignore-all-unknown-editor-settings
Jul 29, 2020
Merged

Ignore all unknown editor settings in conversion#650
JoshuaKGoldberg merged 1 commit intomasterfrom
ignore-all-unknown-editor-settings

Commits

Commits on Jul 25, 2020