Peter Simons 9a32dafd05
Merge pull request #43444 from Infinisil/idris-cleanup
idris: Recurse into attrs, fix build and remove unneeded overrides
2018-07-16 20:38:53 +02:00
..
2018-07-10 20:10:27 +02:00
2018-07-07 15:23:03 -07:00