diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-29 16:51:22 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:32 +0100 |
commit | 5980cfb8eb5bf86e420c2d1b82d6d3b92c0c1fda (patch) | |
tree | 06d302dd76f3677f9d6b6407c50601623b910f90 /html-test/ref/haddock-util.js | |
parent | 3073526a26d013e8751068fbd526974dcfb8259f (diff) |
Split printer of type family header to separate functions.
Diffstat (limited to 'html-test/ref/haddock-util.js')
0 files changed, 0 insertions, 0 deletions