diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-14 19:59:08 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:30 +0100 |
| commit | 2070c0fa9354365e3e672f5cbee2e04d0ef1fd02 (patch) | |
| tree | 25d3b23b7fc309e87e815f352bbb5c86131545e9 /html-test/ref/mini_PruneWithWarning.html | |
| parent | 92f0b1eacb2e1169dedd22df26976219c3fbc637 (diff) | |
Refactor instance head type to record instead of a meaningless tuple.
Diffstat (limited to 'html-test/ref/mini_PruneWithWarning.html')
0 files changed, 0 insertions, 0 deletions