diff options
| author | Peter Simons <simons@cryp.to> | 2017-08-19 16:26:30 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-19 16:26:30 +0200 |
| commit | 5468d5c662c62df45b4a11ba5161833e8816416d (patch) | |
| tree | af83218ed483e156236d39a31ea2cfbad82161ce /pkgs/development/python-modules/httpserver | |
| parent | 8b4f5376ff1f1ad6898febe99941bd9a4c890f6b (diff) | |
| parent | 4a8efae000a0a9f8e61abfc76189259077b4a3ea (diff) | |
Merge pull request #27991 from Profpatsch/hoogleLocal-fix
Fix the `ghcWithHoogle` function to cope with the presence of separate `doc` outputs.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions