| commit | bc69b3a5838017da2b48302096cb6b152fa1f37e | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jul 14 13:47:47 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jul 14 13:47:47 2016 +0200 |
| tree | 52e34943a89db918d3af9ec59171d72420a41cc1 | |
| parent | 9e8ebdb71ad792cfdb195159a95dce631f9fd75b [diff] | |
| parent | dd318382c3522250d68fbc9d9c3c09fa97ec3eb5 [diff] |
Merge pull request #135 from mpeuster/master Cleanup for 0.9 release