diff options
| author | Peter Simons <simons@cryp.to> | 2018-03-29 10:47:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-29 10:47:22 +0200 |
| commit | 284756c76f7032684019ae42f44f7282d1e0309a (patch) | |
| tree | 57366a3e810a53ee74224bd681f3b74ba9c4f562 /pkgs/development/python-modules/httpserver | |
| parent | e54342d47eec9b76afb77c09781ce6baac7d0f4f (diff) | |
| parent | 0879138cb7362498821aea8132518c121b959554 (diff) | |
Merge pull request #38031 from ElvishJerricco/fix-ghc-7.10-profiling-detail
GHC: Don't use --profiling-detail on GHC < 8.0.2
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions