This commit is contained in:
Joao Moreno
2018-09-18 11:20:21 +02:00
parent 59892edc6e
commit 8a620ab5b8
3 changed files with 10 additions and 6 deletions

View File

@@ -1107,6 +1107,11 @@
"default": "warn",
"description": "%config.inputValidation%"
},
"git.inputValidationLength": {
"type": "number",
"default": 72,
"description": "%config.inputValidationLength%"
},
"git.detectSubmodules": {
"type": "boolean",
"scope": "resource",