Nils Dijk 0ca97d0555 only build when devcontainer spec changes + use branch build		2023-10-09 13:51:33 +02:00
..
.vscode	embed vscode settings in newer supported section for devcontainer	2023-10-09 13:51:33 +02:00
pgenv/config	update devcontainter to use upstream+switch pgenv	2023-10-09 13:51:33 +02:00
src/test/regress	update Pipfile and prepare pipfiles to be included in the devcontainer	2023-10-09 13:51:33 +02:00
.gitignore	initial setup for devcontianer	2023-10-09 13:51:33 +02:00
.psqlrc	fix line endings	2023-10-09 13:51:33 +02:00
Dockerfile	upload devcontainer	2023-10-09 13:51:33 +02:00
Makefile	embed vscode settings in newer supported section for devcontainer	2023-10-09 13:51:33 +02:00
devcontainer.json	only build when devcontainer spec changes + use branch build	2023-10-09 13:51:33 +02:00