diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-24 18:40:48 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:32 +0100 |
commit | a66852d67fa3a035eaa255880fb82f6f499d7e39 (patch) | |
tree | 9f3a826f35f502e67d3ad3a3ab846b3cfdecbf28 /html-test/ref/TypeFamilies.html | |
parent | 131e5835425e1e411ceb5cb73f9dee855b702053 (diff) |
Fix another type renamer bug where not all names were rebound.
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
0 files changed, 0 insertions, 0 deletions