| commit | 25be5775e70e1d19c5307e7744ccf7bfbc397081 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 09:59:12 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 26 09:59:12 2017 +0200 |
| tree | 76e3fe3986468e6d05b25e29555df4695e8664bb | |
| parent | f8d9c37a7ffd874a0b7cb18960c0407e616df371 [diff] |
Fix: Name shortening. Still an ugly fix but ok for now.