3 Commits

Author SHA1 Message Date
Florian Rival 79a14e220d Create a devcontainer to do some basic development task via GitHub codespaces. (#5589)
Only show in developer changelog
2023-08-22 12:42:52 +02:00
Florian Rival 32ba55e726 Delete .devcontainer
Outdated and not working well

Don't show in changelog
2023-03-26 13:16:40 +02:00
Florian Rival 85e3ed42fa Add experimental configuration for GitHub workspaces
Don't show in changelog
2021-04-11 01:58:12 +00:00