Skip to content

new icon: idris (original) - #2726

Open
cl1ckname wants to merge 4 commits into
devicons:developfrom
cl1ckname:add-idris-icon
Open

cl1ckname wants to merge 4 commits into
devicons:developfrom
cl1ckname:add-idris-icon

Merge branch 'develop' into add-idris-icon

2f3821b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
CodeQL-Python-rest
succeeded Sep 19, 2026 in 12s