diff options
| author | David Waern <david.waern@gmail.com> | 2012-02-04 03:39:38 +0100 |
|---|---|---|
| committer | David Waern <david.waern@gmail.com> | 2012-02-04 03:47:33 +0100 |
| commit | 46a65020cdbb8aee274e5ab3db68f51639e8d1b2 (patch) | |
| tree | ae486d539752884e498c4f951aba44e99ebdd545 /html/Ocean.std-theme | |
| parent | fbef8bafd21d34f83326f7dd06bb82c563571345 (diff) | |
Use <> instead of mappend.
Diffstat (limited to 'html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions