diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:06:45 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-11 16:06:45 +0200 |
commit | d7ef90898c6d8ddeae23caf0f9fb68c25537dcd0 (patch) | |
tree | 5b567cb42f0a94a52131d6859e95862c4912708b /haddock-api/resources/html/Ocean.std-theme/synopsis.png | |
parent | 9760ee9efe22f0256d626bc567a7adfc754e9066 (diff) | |
parent | 30f20af8c948f2c59799a16293c7c62508a7987b (diff) |
Merge remote-tracking branch 'RyanGlScott/ghc-head' into ghc-head
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/synopsis.png')
0 files changed, 0 insertions, 0 deletions