| commit | 646b585edc20c98d97eb861834c234004d44dd7b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 09:59:12 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Tue Jul 11 14:18:02 2017 +0200 |
| tree | 26b6fd2f118b2efd6264295e06279235ab4812aa | |
| parent | d5c82188ee752265fc6271430f8dbb4dde242b29 [diff] |
Fix: Name shortening. Still an ugly fix but ok for now.