diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-06-24 13:53:39 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-24 13:53:39 -0400 |
commit | caae45aa98a7ca5182bb52aeafc22fd91e4ceb59 (patch) | |
tree | 60fe9c1db01bf65bad43744b6164a7b5cbd38f9c /doc/.gitignore | |
parent | b32845d1a4fe5ea6376f0dec58422520daf06b2e (diff) | |
parent | 45add0d8a39172d17e822b762508685d7b433639 (diff) |
Merge pull request #1204 from wz1000/wip/haddock-hstocore
Use functions exported from GHC.HsToCore.Docs
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions