diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-29 15:37:48 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:32 +0100 |
commit | 3073526a26d013e8751068fbd526974dcfb8259f (patch) | |
tree | a51705bccd9f443e7d37b115036d558e5503dbe9 /html-test/ref | |
parent | de395700afa73065a2ec69ba5e3cc3ec1a474d11 (diff) |
Make instance details record use new type for family declarations.
Diffstat (limited to 'html-test/ref')
0 files changed, 0 insertions, 0 deletions