Update and rename devcontainer.json to devcontainer.json

This commit is contained in:
Kroese 2025-10-17 01:17:11 +02:00 committed by GitHub
parent 06371b886d
commit ac90325ca4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1,5 +1,5 @@
{ {
"name": "Tiny 10", "name": "Tiny10",
"service": "windows", "service": "windows",
"containerEnv": { "containerEnv": {
"VERSION": "tiny10" "VERSION": "tiny10"