Merge pull request #989 from nandajavarma/main

remove deprecated user uploaded extension from .gitpod.yml
This commit is contained in:
diannasoreil 2022-05-10 12:44:51 +02:00 committed by GitHub
commit b4510fc03b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -4,4 +4,4 @@ tasks:
vscode: vscode:
extensions: extensions:
- rust-lang.rust@0.7.8:CvNqMTgDdt3UXt+6BCDTVg== - rust-lang.rust@0.7.8

View file

@ -50,7 +50,7 @@ When you get a permission denied message then you have to exclude the directory
[Run on Repl.it](https://repl.it/github/rust-lang/rustlings) [Run on Repl.it](https://repl.it/github/rust-lang/rustlings)
[Open in Gitpod](https://gitpod.io/#https://github.com/rust-lang/rustlings) [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/rust-lang/rustlings)
## Manually ## Manually