Replace old screenshot of IDE plugin

goblint / GobWeb

Website for the Static Analyzer Goblint

https://goblint.in.tum.de

3 stars 0 forks source link

Replace old screenshot of IDE plugin #24

Closed karoliineh closed 2 years ago

karoliineh commented 2 years ago

This PR relates to #23. There is a new screenshot of the same example that is currently on the Website (done with the old Eclipse plugin) and now done using VS Code and GobPie instead.