diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-19 15:57:10 +0200 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:30 +0100 |
| commit | 2c94f5a7804ecf84f818a64ba41ca5829621323c (patch) | |
| tree | 2502a1942d261668cc1d264f2ee4ae1c69f1b30d /html-test/src/Ticket61.hs | |
| parent | 0495d71981573cf95f28468c7167b96ffd48ac11 (diff) | |
Fix logic behind binder type renaming.
Diffstat (limited to 'html-test/src/Ticket61.hs')
0 files changed, 0 insertions, 0 deletions