git: have own log level

related to #85992
This commit is contained in:
Joao Moreno
2020-01-27 14:40:18 +01:00
parent c6e9d72387
commit 548baadc5f
5 changed files with 93 additions and 5 deletions

View File

@@ -26,6 +26,11 @@
},
"contributes": {
"commands": [
{
"command": "git.setLogLevel",
"title": "%command.setLogLevel%",
"category": "Git"
},
{
"command": "git.clone",
"title": "%command.clone%",