This commit is contained in:
Joao Moreno
2018-02-01 09:40:22 +01:00
parent d80c6f63bc
commit 2d4b6e9124
3 changed files with 22 additions and 7 deletions

View File

@@ -956,6 +956,11 @@
],
"default": "warn",
"description": "%config.inputValidation%"
},
"git.detectSubmodules": {
"type": "boolean",
"default": true,
"description": "%config.detectSubmodules%"
}
}
},