Open dev-nicolaos opened 1 month ago
This is a
Plugin name and version: editorconfig v1.1.0
Plugin source code zip file: https://github.com/10sr/editorconfig-micro/archive/v1.1.0.zip
Checklist:
Name
Description
Website
License
The repository for this plugin is archived, but there was one release made more recent than the one currently in Micro. That release contains an important fix for Windows users and provides syntax highlighting for .editorconfig files.
.editorconfig
This is a
Plugin name and version: editorconfig v1.1.0
Plugin source code zip file: https://github.com/10sr/editorconfig-micro/archive/v1.1.0.zip
Checklist:
Name
,Description
,Website
, andLicense
.The repository for this plugin is archived, but there was one release made more recent than the one currently in Micro. That release contains an important fix for Windows users and provides syntax highlighting for
.editorconfig
files.