Vítor Galvão
|
11f61e1ac5
|
idris.rb: added name
|
2015-01-22 22:15:08 +00:00 |
Roland Walker
|
26f77b9a5f
|
blank before uninstall in idris
|
2014-11-22 09:12:40 -05:00 |
Roland Walker
|
5c372b3526
|
new-style header in idris
|
2014-11-13 12:35:35 -05:00 |
ndr
|
07fd563d07
|
Specify license of idris
|
2014-10-11 17:50:25 +01:00 |
Roland Walker
|
0acb5905ae
|
add license stanza to idris
|
2014-10-01 11:42:54 -04:00 |
Roland Walker
|
871c3f378b
|
:latest as symbol in idris
|
2014-09-17 07:42:48 -04:00 |
Roland Walker
|
973d732e6e
|
idris.rb
|
2014-09-10 11:37:02 -04:00 |
ndr
|
25749cca45
|
Reformat idris.rb according to readability conventions
|
2014-06-27 02:01:18 +02:00 |
Roland Walker
|
c8cd897435
|
mass convert Casks to sha256 :no_check
|
2014-05-08 08:51:31 -04:00 |
ndr
|
ecc3b7b0b9
|
Add Idris
|
2014-05-02 21:33:43 +02:00 |