fix: Update Gitpod extensions (#917)

This commit is contained in:
David Leal 2021-11-05 18:42:10 -06:00 committed by GitHub
parent 624f9a3336
commit 7a324e2c75
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,7 +11,9 @@ github:
vscode:
extensions:
- ms-vscode.cpptools
# - ms-vscode.cpptools
- twxs.cmake
- ms-vscode.cmake-tools
- mhutchie.git-graph
- notskm.clang-tidy
- mitaki28.vscode-clang