diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-08 15:50:22 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-08 15:50:22 +0000 |
commit | 04cf63d0195837ed52075ed7d2676e71831e8a0b (patch) | |
tree | 082c43bf08719da78c43461585f03773703211dd /haddock-api/resources/html/Ocean.std-theme | |
parent | 8b1d44fbdde141cf883f5ddcd337bbbab8433228 (diff) |
Track naming change in DataCon
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions