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 /doc/Makefile | |
| parent | de395700afa73065a2ec69ba5e3cc3ec1a474d11 (diff) | |
Make instance details record use new type for family declarations.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions