diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-04-28 16:19:04 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2022-04-28 16:19:04 -0400 |
commit | 2627a86cb2dd3256c93adf0df8a7d3366a303b02 (patch) | |
tree | bc87633ed85be301227f3f3c5a88f7cd96b52201 /haddock-api/resources/html/NewOcean.std-theme | |
parent | b29a78ef6926101338f62e84f456dac8659dc9d2 (diff) |
Revert "Bump ghc-head (#1445)"
This reverts commit b29a78ef6926101338f62e84f456dac8659dc9d2.
This should not have been merged.
Diffstat (limited to 'haddock-api/resources/html/NewOcean.std-theme')
0 files changed, 0 insertions, 0 deletions