diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-10-27 17:34:18 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2015-12-14 15:37:50 +0000 |
| commit | 5628084e7a9d7bf8ec083cd93321eaa6ac686b4a (patch) | |
| tree | 4ed90d2b189eb1a474ed77b2a03afee86559c9c6 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 4e1eef5c7e79717af2c8d72234e4c82f8a11c443 (diff) | |
Follow changes to HsTYpe
Not yet complete (but on a wip/ branch)
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions