Skip to content

Commit 18157b2

Browse files
committed
Idris small logo
1 parent 98923d8 commit 18157b2

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

docs/resources/idris-logo-24.png

170 Bytes
Loading

0 commit comments

Comments
 (0)