Jelle Raaijmakers 971d3eef4a Meta: Hardcode lowercase repository name for devcontainer ... This should unbreak CI.		2023-05-24 20:07:34 +02:00
..
features/serenity	Meta: Prebuild repo dev container	2023-05-24 19:27:59 +02:00
optimized	Meta: Hardcode lowercase repository name for devcontainer	2023-05-24 20:07:34 +02:00
devcontainer.json	Meta: Prebuild repo dev container	2023-05-24 19:27:59 +02:00