Commit Graph

7 Commits

Author SHA1 Message Date
Tim
ec6ee7ead9 remove empty space 2022-11-09 21:06:14 +01:00
Tim
7953280513 remove github.copilot extension 2022-11-09 21:05:05 +01:00
Tim
037363f9ee support git and local changes in dev containers #7723 2022-11-09 19:53:09 +01:00
Matthias
2928ee22ce Remove compose file for devcontainer 2021-07-15 19:48:16 +02:00
Matthias
0a7b6f73c9 Move devcontainer stuff to .devcontainer 2020-09-20 12:35:08 +00:00
Matthias
7ead4f9fa3 Update devcontainer settings 2020-09-20 14:16:36 +02:00
Matthias
8ff7ce8b17 Introduce devcontainer 2020-09-20 11:40:16 +00:00