git.iko.soy/Idris-dev
on master help sign in
Idris-dev/icons
11 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 idris_icon.rcAdd the idris icon to the windows build 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