external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gitlens, cpp tools and generally sort extensions

pull/7102/head
Nils Dijk 2023-07-28 14:21:36 +00:00
parent 607bd77eb1
commit a90523afc5
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.devcontainer/devcontainer.json
View File

@ -9,9 +9,10 @@
"customizations": { "customizations": {
"vscode": { "vscode": {
"extensions": [ "extensions": [
"ms-vscode.cpptools", "eamodio.gitlens",
"ms-vsliveshare.vsliveshare",
"github.vscode-pull-request-github", "github.vscode-pull-request-github",
"ms-vscode.cpptools-extension-pack",
"ms-vsliveshare.vsliveshare",
], ],
"settings": { "settings": {
"files.exclude": { "files.exclude": {