diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-22 17:41:31 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-30 22:37:49 +0200 |
| commit | a6bd86a8550d5d7e8bdb12e1d09036b9f88eed73 (patch) | |
| tree | 7b140190e68418ebe3a3ff9c8dfc984c643cf7de /haddock-api/resources/html/Ocean.std-theme | |
| parent | 6f16398a26a12d58b3ba7f1924e2b6b00e68f5f7 (diff) | |
Add support for fancy highlighting upon hovering over identifier.
Diffstat (limited to 'haddock-api/resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions