diff options
| author | Peter Simons <simons@cryp.to> | 2015-05-18 12:40:55 +0200 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2015-05-18 18:04:36 +0200 |
| commit | 7268605e00f4af6e02becf6f951eac2f76a49cbc (patch) | |
| tree | eb59a1234fa7c685148348354c34b562ad441cf9 /pkgs/development/python-modules/httpserver | |
| parent | 3cdd27cbe69d8fec2766ccb413fbf0944983310b (diff) | |
idris: remove outdated overrides
The Idris build is broken for several reasons, I'm afraid, and has been broken
since a while. It' seems unnecessary to carry these non-functioning overrides
around.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions