Nils Dijk 76fdfa3c0f Add devcontainer for development purposes (#7102) ... This change adds a devcontainer configuration to the Citus project. This devcontainer allows for quick generation of isolated development environments, either local on the machine of a developer or in a cloud, like github codepaces. The devcontainer is updated automatically by github actions when its configuration changes. For more detailed instructions on how to quickstart the development in a container see CONTRIBUTING.md		2023-10-09 15:37:21 +02:00
..
default.conf	Add devcontainer for development purposes (#7102)	2023-10-09 15:37:21 +02:00