fix: Update Gitpod extensions (#1839)

This commit is contained in:
David Leal 2021-11-05 18:37:02 -06:00 committed by GitHub
parent 87ef61ae23
commit f5f7824909
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,7 +12,9 @@ github:
vscode:
extensions:
- ms-vscode.cpptools@0.28.3:mjRj37VUK0nY2ZeDXzxOJA==
- twxs.cmake@0.0.17:9s7m9CWOr6i6NZ7CNNF4kw==
- ms-vscode.cmake-tools@1.4.0:eP3hU/MFme+CcSL21Klk1w==
- mhutchie.git-graph@1.23.0:TM9ShNmBn94aUJMJusCJlg==
- ms-vscode.cpptools
- twxs.cmake
- ms-vscode.cmake-tools
- mhutchie.git-graph
- notskm.clang-tidy
- mitaki28.vscode-clang