feat: add icon for Lean proof assistant language (.lean)#3256

Merged

PKief merged 7 commits intomaterial-extensions:mainfrom

Lemmy00:main

Nov 19, 2025

Commits on Feb 17, 2024

feat: add capnp

Rettend
and
JonahPlusPlus
committed
fix: svg color
Rettend
committed

Commits on Apr 1, 2024

Merge branch 'main' into main
Rettend
authored

Commits on Apr 2, 2024

Align icon with grid
PKief
committed

Commits on Nov 11, 2025

feat: add icon for Lean proof assistant language (.lean)
Lemmy00
committed

Commits on Nov 19, 2025

feat: update Lean icon and remove light variant
PKief
committed
Merge branch 'main' of https://github.com/Rettend/vscode-material-icon-theme into pr/Lemmy00/3256
PKief
committed