aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-06-24 13:53:39 -0400
committerGitHub <noreply@github.com>2020-06-24 13:53:39 -0400
commitcaae45aa98a7ca5182bb52aeafc22fd91e4ceb59 (patch)
tree60fe9c1db01bf65bad43744b6164a7b5cbd38f9c /doc/.gitignore
parentb32845d1a4fe5ea6376f0dec58422520daf06b2e (diff)
parent45add0d8a39172d17e822b762508685d7b433639 (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