diff options
author | Ćukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-07-22 17:20:28 +0200 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2015-08-21 18:22:31 +0100 |
commit | dfb697b2d41319a6c14134edcd89da2fa49ecd99 (patch) | |
tree | 6095af502dbfc5ae4e12a0fd64edc2d1e19fcf0c /latex-test/src | |
parent | 0e3a90b9a1935a69b48dfb5906c346dd12c43ec1 (diff) |
Fix another bug where type renamer was generating incorrect names.
Diffstat (limited to 'latex-test/src')
0 files changed, 0 insertions, 0 deletions