Remove unused extensions (#18065)

* Remove unused extensions

* more
This commit is contained in:
Charles Gagnon
2022-01-13 10:51:16 -08:00
committed by GitHub
parent ea2860eb33
commit 84cbdf3f57
69 changed files with 0 additions and 35292 deletions

View File

@@ -6,7 +6,6 @@
"**/bat/**",
"**/configuration-editing/**",
"**/docker/**",
"**/extension-editing/**",
"**/git/**",
"**/github/**",
"**/github-authentication/**",