diff options
| author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-03-02 14:42:31 +0100 |
|---|---|---|
| committer | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-03-29 09:47:01 +0200 |
| commit | 4c471b8ffc5dc59ce72128c1d74818a08c5743cc (patch) | |
| tree | f981a231e4338333c6ed64efbda103a809382f2a /haddock-api/resources/html/Ocean.theme/minus.gif | |
| parent | 7afbc6b0af2c350a96c56237f3c2d3f3de204195 (diff) | |
pprError changed name in GHC
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/minus.gif')
0 files changed, 0 insertions, 0 deletions