Add Goblint logo to the extension resolves #57

goblint · Aug 16, 2023 · 8b3f2e3 · 8b3f2e3
1 parent 027dda5
commit 8b3f2e3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/vscode/images/goblint.png b/vscode/images/goblint.png
diff --git a/vscode/package.json b/vscode/package.json
@@ -14,6 +14,7 @@
   "keywords": [
     "multi-root ready"
   ],
+  "icon": "images/goblint.png",
   "engines": {
     "vscode": "^1.30.0"
   },