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 /haddock-api/resources/html/Ocean.theme/ocean.css | |
| 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 'haddock-api/resources/html/Ocean.theme/ocean.css')
0 files changed, 0 insertions, 0 deletions