diff options
| author | Simon Hengel <sol@typeful.net> | 2014-08-22 12:14:16 +0800 |
|---|---|---|
| committer | Simon Hengel <sol@typeful.net> | 2014-08-22 12:14:16 +0800 |
| commit | e99252026ad1b50215b86ffe30038351ca486bfa (patch) | |
| tree | d0a88fd913edd590fefb952d635871f11afda41b /resources/html/Ocean.std-theme/plus.gif | |
| parent | 2c3f2b47fa5e66f5503b5418415e2fa75d134689 (diff) | |
Move Haddock API to a separate package
Diffstat (limited to 'resources/html/Ocean.std-theme/plus.gif')
| -rw-r--r-- | resources/html/Ocean.std-theme/plus.gif | bin | 59 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/resources/html/Ocean.std-theme/plus.gif b/resources/html/Ocean.std-theme/plus.gif Binary files differdeleted file mode 100644 index 2d15c141..00000000 --- a/resources/html/Ocean.std-theme/plus.gif +++ /dev/null |
