diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2015-07-27 13:16:07 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2015-07-27 13:16:07 +0200 |
| commit | cf2c2d006bbd54c0852f82dccfcc23ec66d33894 (patch) | |
| tree | e8be28e29e8d68ffaed73ba12586d8b427e34ac9 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 553c719236972f3a1d445146352ec94614979b63 (diff) | |
| parent | 5eb0785cde60997f072c3bdfefaf8c389c96d42e (diff) | |
Merge pull request #422 from adamse/adamse-D1033
Merge for GHC D1033
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions