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