Silvan Mosberger ba3a834b75
doc/idris: Fix install instructions (#63163)
doc/idris: Fix install instructions
2019-06-19 17:10:21 +02:00
..
2019-06-17 13:25:50 +02:00
2019-06-17 12:28:26 +02:00
2019-03-25 17:50:13 -04:00
2018-11-19 13:02:17 -06:00
2019-06-17 13:25:50 +02:00
2019-06-17 13:25:50 +02:00
2019-06-17 12:28:26 +02:00
2019-01-08 15:08:42 +00:00