Merge pull request #43 from jonnyboyC/patch-1

Minor package.json fix
This commit is contained in:
Pine 2019-04-20 11:38:54 -07:00 коммит произвёл GitHub
Родитель 0a43405d5b fbf2e67220
Коммит 9aff7a6939
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 2 добавлений и 2 удалений

Просмотреть файл

@ -30,7 +30,7 @@
"properties": { "properties": {
"lspInspector.port": { "lspInspector.port": {
"type": "number", "type": "number",
"default": "7000", "default": 7000,
"description": "The port on which the websocket server listens to" "description": "The port on which the websocket server listens to"
} }
} }
@ -51,4 +51,4 @@
"@types/ws": "^6.0.0", "@types/ws": "^6.0.0",
"typescript": "^2.9.2" "typescript": "^2.9.2"
} }
} }