Matthias 0b8ef1b880 Fix devcontainer invalid key

2023-06-05 21:13:52 +02:00

..

devcontainer.json

Fix devcontainer invalid key

2023-06-05 21:13:52 +02:00

Dockerfile

Devcontainer image should contain as many dependencies as possible

2023-06-05 20:30:46 +02:00