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/synopsis.png | |
parent | 2c3f2b47fa5e66f5503b5418415e2fa75d134689 (diff) |
Move Haddock API to a separate package
Diffstat (limited to 'resources/html/Ocean.std-theme/synopsis.png')
-rw-r--r-- | resources/html/Ocean.std-theme/synopsis.png | bin | 11327 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/resources/html/Ocean.std-theme/synopsis.png b/resources/html/Ocean.std-theme/synopsis.png Binary files differdeleted file mode 100644 index 85fb86ec..00000000 --- a/resources/html/Ocean.std-theme/synopsis.png +++ /dev/null |