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