|
idris_icon.rc
|
Add the idris icon to the windows build
|
2016-01-24 22:10:40 +01:00 |
|
idris-48x48.png
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
idris-64x64.png
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
idris-128x128.png
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
idris-256x256.png
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
idris-512x512.png
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
idris.ico
|
Added the icon in the wrong dir
|
2015-08-26 22:14:52 +02:00 |
|
text-x-idris.svg
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
x-idris-bytecode.xml
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
x-idris-literate.xml
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
|
x-idris.xml
|
Icons and mimetype declarations
|
2015-07-05 14:05:52 +01:00 |
