Idan Gazit df72999f5f Update devcontainer.json ... The format has changed slightly.		2023-11-21 11:19:30 -08:00
..
.bashrc	Behave properly in GH Codespaces	2020-10-12 14:23:34 -07:00
devcontainer.json	Update devcontainer.json	2023-11-21 11:19:30 -08:00
Dockerfile	refactor: Move to updated Docker images.	2023-04-05 22:55:38 -07:00