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

small improvement of environment

feature/shardgroup
Nils Dijk 2023-12-01 12:54:35 +00:00
parent 22f8de88c8
commit 3b777287aa
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.devcontainer/devcontainer.json
View File

@ -14,6 +14,7 @@
"github.vscode-pull-request-github", "github.vscode-pull-request-github",
"ms-vscode.cpptools-extension-pack", "ms-vscode.cpptools-extension-pack",
"ms-vsliveshare.vsliveshare", "ms-vsliveshare.vsliveshare",
"mutantdino.resourcemonitor", // decide if we want to keep this
], ],
"settings": { "settings": {
"files.exclude": { "files.exclude": {