No need for PureScript extensions

This commit is contained in:
David Siegel 2017-12-30 18:18:12 -08:00 коммит произвёл GitHub
Родитель 1120371d0a
Коммит b3b9b54714
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 1 добавлений и 3 удалений

4
.vscode/extensions.json поставляемый
Просмотреть файл

@ -3,9 +3,7 @@
// for the documentation about the extensions.json format
"recommendations": [
// Extension identifier format: ${publisher}.${name}. Example: vscode.csharp
"nwolverson.language-purescript",
"nwolverson.ide-purescript",
"esbenp.prettier-vscode",
"eg2.tslint"
]
}
}