diff options
author | Ben Gamari <ben@smart-cactus.org> | 2015-12-20 01:14:35 +0100 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-12-20 01:14:35 +0100 |
commit | 19692aab1913730fc10ffda515b77db7308bcf11 (patch) | |
tree | 64408b3be93858108759eb85ddbc6c956778cfa4 /haddock-api/resources/html/Ocean.std-theme | |
parent | edb3feb49d7d87365abac961368367944d85022d (diff) | |
parent | 52bc03a00cf57764cdab5124ee2b12acd5ad3780 (diff) |
Merge remote-tracking branch 'phadej/orphans' into ghc-head
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions