Closed joshuarli closed 4 years ago
Blocked until https://github.com/10sr/editorconfig-micro/pull/10 is merged.
@zyedidia Okay, we're ready for this to be merged.
Blocked until https://github.com/10sr/editorconfig-micro/pull/10 is merged.