diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-29 16:10:03 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-30 22:37:49 +0200 |
| commit | 5a86381db3d73b4b68fdaae5c150a84e91e80c09 (patch) | |
| tree | f0a3ed0daa2df60ed854ebc1b0035faae07b3997 /.ghci | |
| parent | 6cf5e45135ad48f140a76054b38e13eb83491d2a (diff) | |
Make hyperlinker generate correct anchors for data constructors.
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions