diff options
author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-05 13:58:47 +0200 |
---|---|---|
committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-06-30 22:37:48 +0200 |
commit | 1a43f35e2dacc9837f9762fd211d63ae6cc7b4a3 (patch) | |
tree | 1d6338a33faa5517896b80cc62900b30d18a6a83 /html-test/src/GADTRecords.hs | |
parent | 5e904cb1c3d769d5b99d459838b4b5368c8c1fb7 (diff) |
Add support for specifying the CSS file path in HTML source renderer.
Diffstat (limited to 'html-test/src/GADTRecords.hs')
0 files changed, 0 insertions, 0 deletions