diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-31 18:24:40 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:33 +0100 |
commit | 96a118be9d02cc433f0982ca728e5c80a2c4c8af (patch) | |
tree | 3e28afea152a70f356752b3b58f17fbda01cd4c6 /html-test/ref/mini_BugDeprecated.html | |
parent | 0158692153c342eb84879338aeb99a6bb0221889 (diff) |
Make section identifier of instance details more GHC-independent.
Diffstat (limited to 'html-test/ref/mini_BugDeprecated.html')
0 files changed, 0 insertions, 0 deletions