Merge branch 'master' into fix/codeql-warnings

This commit is contained in:
David Leal 2021-11-06 19:54:12 -06:00 committed by GitHub
commit 72322fb7c0
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