git: enabled config

This commit is contained in:
Joao Moreno
2017-02-07 12:03:42 +01:00
parent e5a555bf36
commit 7c8d8e822f
4 changed files with 29 additions and 6 deletions

View File

@@ -373,6 +373,11 @@
"configuration": {
"title": "Git",
"properties": {
"git.enabled": {
"type": "boolean",
"description": "%config.enabled%",
"default": true
},
"git.path": {
"type": [
"string",
@@ -432,4 +437,4 @@
"devDependencies": {
"@types/node": "^7.0.4"
}
}
}