Update logo on VSCode extension

informalsystems · Apr 5, 2024 · fd3f19b · fd3f19b
1 parent 8868336
commit fd3f19b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/vscode/quint-vscode/CHANGELOG.md b/vscode/quint-vscode/CHANGELOG.md
@@ -9,6 +9,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Added
 ### Changed
+
+- Updated the logo
+
 ### Deprecated
 ### Removed
 ### Fixed

diff --git a/vscode/quint-vscode/quint-logo-vscode.png b/vscode/quint-vscode/quint-logo-vscode.png