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

automatically configure the repository

pull/7102/head
Nils Dijk 2022-05-05 15:10:36 +00:00
parent 03eb55bf0a
commit 48d99989d3
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.devcontainer/devcontainer.json
View File

@ -12,5 +12,6 @@
], ],
"mounts": [ "mounts": [
"type=volume,target=/data", "type=volume,target=/data",
] ],
"updateContentCommand": "./configure"
} }