diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-10-31 19:08:13 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-10-31 19:08:13 +0000 |
| commit | b2d4b230c2446d241fd8730cd158e4fe6b7305df (patch) | |
| tree | 444a3e817728dfd0a03bd9e05eab723188ebeba4 /haddock-api/resources/html/Ocean.std-theme/plus.gif | |
| parent | 8358cd222cc5a2d9f971691fe62e7e2c352d7c9b (diff) | |
More adaption to wildcard-refactor
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions