diff options
author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-01-26 00:19:37 +0300 |
---|---|---|
committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-02-28 15:53:52 +0300 |
commit | b104c573fdc6efcecc3bfaa2fb6084b7679f32da (patch) | |
tree | 2e81f4ec519b0c60cf325a5a980395d4c6545afc /haddock-api/resources/html/Ocean.theme/minus.gif | |
parent | 78d0e033a2f8ce5dc1f5e2e4eb8b823ee4d1d1bf (diff) |
Ignore the BufLoc/BufSpan added in GHC's !2516
Diffstat (limited to 'haddock-api/resources/html/Ocean.theme/minus.gif')
0 files changed, 0 insertions, 0 deletions