Robin Windey 0776f84947 Fix devcontainer url ... See also: * https://github.com/community/community/discussions/5104#discussioncomment-2217052 * https://docs.github.com/en/codespaces/developing-in-codespaces/default-environment-variables-for-your-codespace#list-of-default-environment-variables		2022-11-14 15:40:04 +00:00
..
Dockerfile	Add npm/nodejs/make to .devcontainer	2021-04-06 11:35:00 +00:00
codespace.config.php	Fix devcontainer url	2022-11-14 15:40:04 +00:00
devcontainer.json	Disable basic PHP completion in Codespace	2021-02-22 11:30:17 +00:00
docker-compose.yml	Add initial support for GitHub codespaces	2021-02-08 16:55:01 +00:00
setup.sh	Add initial support for GitHub codespaces	2021-02-08 16:55:01 +00:00