Fixes #119032 - changes to support settings UI

This commit is contained in:
Eric Amodio 2021-04-14 19:04:21 -04:00
parent 88361f24e0
commit 7f2bcc1530

View file

@ -1686,17 +1686,8 @@
"default": true
},
"git.autofetch": {
"anyOf": [
{
"type": "boolean"
},
{
"type": "string",
"enum": [
"all"
]
}
],
"type": ["boolean", "string"],
"enum": [true, false, "all"],
"scope": "resource",
"description": "%config.autofetch%",
"default": false,