Merge pull request #91438 from NickHu/purescript-language-server

nodePackages.purescript-language-server: init at 0.12.9
This commit is contained in:
Nick Hu 2020-06-28 22:14:24 +01:00 committed by GitHub
commit 87c5724af9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 273 additions and 218 deletions

View File

@ -142,6 +142,7 @@
, "prettier"
, "pscid"
, "pulp"
, "purescript-language-server"
, "purescript-psa"
, "purty"
, "react-native-cli"

File diff suppressed because it is too large Load Diff