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 /html-test/run.lhs | |
parent | 6f16398a26a12d58b3ba7f1924e2b6b00e68f5f7 (diff) |
Add support for fancy highlighting upon hovering over identifier.
Diffstat (limited to 'html-test/run.lhs')
0 files changed, 0 insertions, 0 deletions