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