Skip to content

Commit 2a84398

Browse files
mhuisimhuisi
committed
feat: forall icon for lean file icon instead of website favicon
1 parent 988871a commit 2a84398

File tree

5 files changed

+520
-2
lines changed

5 files changed

+520
-2
lines changed

‎vscode-lean4/media/lean-file-icon-dark.png‎

-1.48 KB
Binary file not shown.

‎vscode-lean4/media/lean-file-icon-dark.svg‎

Lines changed: 259 additions & 0 deletions
Loading

‎vscode-lean4/media/lean-file-icon-light.png‎

-1.46 KB
Binary file not shown.

0 commit comments

Comments
 (0)
⚡