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 /doc/docbook-xml.mk | |
| parent | 0158692153c342eb84879338aeb99a6bb0221889 (diff) | |
Make section identifier of instance details more GHC-independent.
Diffstat (limited to 'doc/docbook-xml.mk')
0 files changed, 0 insertions, 0 deletions