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/js-src/quick-jump.tsx | |
parent | 7afbc6b0af2c350a96c56237f3c2d3f3de204195 (diff) |
pprError changed name in GHC
Diffstat (limited to 'haddock-api/resources/html/js-src/quick-jump.tsx')
0 files changed, 0 insertions, 0 deletions