Edwin Brady debe5f6fc3 Add chmod to System.File ... Idris 2 needs it - Windows probably needs something else (patches for Windows support will be very much welcomed!)		2020-05-16 13:02:48 +01:00
..
base	Add chmod to System.File	2020-05-16 13:02:48 +01:00
contrib	Update CHANGELOG and CONTRIBUTORS	2020-05-13 13:12:41 +01:00
network	Fix builds on *BSD	2020-04-22 11:09:05 -03:00
prelude	Some Racket CG fixes	2020-05-15 12:43:31 +01:00