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/Examples.html | |
| parent | 3073526a26d013e8751068fbd526974dcfb8259f (diff) | |
Split printer of type family header to separate functions.
Diffstat (limited to 'html-test/ref/Examples.html')
0 files changed, 0 insertions, 0 deletions