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

..

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

…

Dockerfile

Add npm/nodejs/make to .devcontainer

2021-04-06 11:35:00 +00:00

setup.sh

…