Update devcontainer.json

main
Michal 2 years ago committed by GitHub
parent c8b9ab4f3b
commit 8f8fe17121
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,5 +1,5 @@
{ {
"name": "Rust on Arch", "name": "Rust on Crystal",
"build": { "build": {
"dockerfile": "Dockerfile" "dockerfile": "Dockerfile"
}, },

Loading…
Cancel
Save