ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 14:57:30 +03:00
Code Issues Projects Releases Wiki Activity
92c195961c
Idris-dev/icons
History
Niklas Larsson dec64c40fc Added the icon in the wrong dir
2015-08-26 22:14:52 +02: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