| commit | 83b82187f04f6140fae81ca417e212e237675e2a | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Apr 25 11:15:55 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Apr 25 11:15:55 2016 +0200 |
| tree | 8500e026d90a6635be3ecedc21bbf778cc138c77 | |
| parent | 48727c8dfabcd23b729323cc0e66641af5660a9d [diff] |
Small cleanup