Update and rename devcontainer.json to devcontainer.json

This commit is contained in:
Kroese 2025-10-17 01:16:26 +02:00 committed by GitHub
parent 39ae0c7e44
commit d669445e8c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194