aboutsummaryrefslogtreecommitdiff
path: root/haddock-api/resources/html/Ocean.std-theme
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-12-20 01:14:35 +0100
committerBen Gamari <ben@smart-cactus.org>2015-12-20 01:14:35 +0100
commit19692aab1913730fc10ffda515b77db7308bcf11 (patch)
tree64408b3be93858108759eb85ddbc6c956778cfa4 /haddock-api/resources/html/Ocean.std-theme
parentedb3feb49d7d87365abac961368367944d85022d (diff)
parent52bc03a00cf57764cdab5124ee2b12acd5ad3780 (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