git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/icons
10 files
../ idris-128x128.pngIcons and mimetype declarations idris-256x256.pngIcons and mimetype declarations idris-48x48.pngIcons and mimetype declarations idris-512x512.pngIcons and mimetype declarations idris-64x64.pngIcons and mimetype declarations idris.icoAdded the icon in the wrong dir text-x-idris.svgIcons and mimetype declarations x-idris-bytecode.xmlIcons and mimetype declarations x-idris-literate.xmlIcons and mimetype declarations x-idris.xmlIcons and mimetype declarations