git: checkoutType config

This commit is contained in:
Joao Moreno
2017-01-31 17:13:47 +01:00
parent 60bbe61489
commit c0c25a3f6c
2 changed files with 13 additions and 1 deletions

View File

@@ -406,6 +406,17 @@
],
"description": "%config.countBadge%",
"default": "all"
},
"git.checkoutType": {
"type": "string",
"enum": [
"all",
"local",
"tags",
"remote"
],
"description": "%config.checkoutType%",
"default": "all"
}
}
}