This commit is contained in:
João Moreno 2022-05-02 16:14:26 +02:00 committed by GitHub
parent e14b203fe2
commit af684a4906
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -12,6 +12,7 @@
"categories": [
"Other"
],
"api": "none",
"extensionKind": [
"ui",
"workspace"