Paulus Schoutsen 1221ccae4d Update dev container (#849) ... * Update dev container * Address comments * Add variant back to base file * Remove variant from devcontainer.json		2021-03-14 11:39:47 +01:00
..
Dockerfile	Update dev container (#849)	2021-03-14 11:39:47 +01:00
devcontainer.json	Update dev container (#849)	2021-03-14 11:39:47 +01:00