| commit | 5373ea6bc34b414e74168e48e5fa823d3893ce78 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Aug 18 09:28:19 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Aug 18 09:28:19 2016 +0200 |
| tree | 0dc8754da57e9f0a54bf32848e5ffac1863b5af8 | |
| parent | e951c093b8a4234fd534fecb1766ac1751d66d07 [diff] | |
| parent | 3bb86bfa4fe6f529e27ac35a9550d9afcb3eb4ba [diff] |
Merge pull request #160 from mpeuster/master Cleanup and bugfixes