search

goblint / GobPie

Goblint IDE integration via MagpieBridge
MIT License
5 stars 3 forks source link

VS Code extension should have Goblint logo #57

Closed sim642 closed 1 year ago

sim642 commented 1 year ago

From https://github.com/goblint/logo.