Update devcontainer.json

This commit is contained in:
Kroese 2025-10-19 10:17:28 +02:00 committed by GitHub
parent a3f92b6998
commit 7a7a07361a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -14,5 +14,6 @@
"onAutoForward": "ignore"
},
"dockerComposeFile": "../codespaces.yml",
"workspaceFolder": "/workspaces/windows",
"initializeCommand": "docker system prune --all --force"
}