Matthias Ladkau 01378c71e7 doc: Adding a vector logo and a banner 2 years ago
..
banner.png 01378c71e7 doc: Adding a vector logo and a banner 2 years ago
banner.svg 01378c71e7 doc: Adding a vector logo and a banner 2 years ago
logo.png 7f6ef4884b chore: Adding logo 3 years ago
logo.svg 01378c71e7 doc: Adding a vector logo and a banner 2 years ago
logo.xcf 7f6ef4884b chore: Adding logo 3 years ago
screenshot.png e2b396579d fix: VSCode extension cleanup 3 years ago