Dave Syer 42e2c74b0b Add a Dockerfile for dev environments other than codespaces		2024-11-28 14:45:59 +00:00
..
devcontainer.json	Update the DevContainer configuration	2024-08-14 09:27:13 +01:00
Dockerfile	Add a Dockerfile for dev environments other than codespaces	2024-11-28 14:45:59 +00:00