diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-26 22:41:07 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-30 22:37:49 +0200 |
| commit | d58bcf24dfa4333e7893935eb86c036be28125b1 (patch) | |
| tree | 68a5c247d4944329041e97a07ebada46be3110b2 /html-test/src/GADTRecords.hs | |
| parent | 844c09d0c1d724e0f0f0698654f2f85f5f58be19 (diff) | |
Make external hyperlinks point to locations specified by source URLs.
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions