Clean up repair_names()#43
Merged
krlmlr merged 7 commits intomaster from feature/cleanup-repairMar 17, 2016
+78-50
Commits
Commits on Mar 16, 2016
- committedKirill Müller
- committedKirill Müller
- committedKirill Müller
- committedKirill Müller
- committedKirill Müller
- committedKirill Müller
Commits on Mar 17, 2016
- committedKirill Müller