diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-10 18:17:43 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-10 18:17:43 +0000 |
| commit | 030c726ac75a16fc13ff6d66357331a37374e65f (patch) | |
| tree | a0b789aa64f8080ecfcd7828afc4df5c78a4f52a /resources/html/Ocean.std-theme/plus.gif | |
| parent | 0f6a628a149dd46960d701ae54fdfc057a168640 (diff) | |
Adapt to small change in Pretty's exports
Diffstat (limited to 'resources/html/Ocean.std-theme/plus.gif')
0 files changed, 0 insertions, 0 deletions