Przeglądaj źródła

UPdate settings.json

pull/15/head
10sr 7 lat temu
rodzic
commit
ce3036248b
1 zmienionych plików z 2 dodań i 1 usunięć
  1. +2
    -1
      micro/settings.json

+ 2
- 1
micro/settings.json Wyświetl plik

@@ -12,7 +12,8 @@
"infobar": true,
"linter": true,
"pluginchannels": [
"https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json"
"https://raw.githubusercontent.com/micro-editor/plugin-channel/master/channel.json",
"https://github.com/10sr/editorconfig-micro/raw/master/channel.json"
],
"pluginrepos": [],
"ruler": true,


Ładowanie…
Anuluj
Zapisz