Timothee Guerin 76375a80f4 Add dev container configuration for repo (#3440) ... This should help opening PR in codespaces as well as helping new contributors		2024-05-24 00:20:36 +00:00
..
Dockerfile	Add dev container configuration for repo (#3440)	2024-05-24 00:20:36 +00:00
devcontainer.json	Add dev container configuration for repo (#3440)	2024-05-24 00:20:36 +00:00