Rename codespaces configuration file

This commit is contained in:
Kroese 2025-10-16 10:05:33 +02:00 committed by GitHub
parent 1469fae6a4
commit 99279ba8a2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194