Skip to content

new icon: idris (original)#2726

Open
cl1ckname wants to merge 1 commit into
devicons:developfrom
cl1ckname:add-idris-icon
Open

new icon: idris (original)#2726
cl1ckname wants to merge 1 commit into
devicons:developfrom
cl1ckname:add-idris-icon

Commits

Commits on May 31, 2026