| commit | add3f7934df417328a936cbf6ad643beec6f2ab9 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jul 18 15:50:28 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jul 18 15:50:28 2016 +0200 |
| tree | c8a4f319300e3a432703026051ec0db227a4f745 | |
| parent | 5ec027970640e933e781170654ada49cebf402f2 [diff] | |
| parent | 0de090c96b9aba909a28525b6c2a2c6dda491f26 [diff] |
Merge pull request #142 from mpeuster/master added link to further documentation