| commit | a38b8af5f15b0570924d3563682d800e669abb2b | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Sat May 14 10:08:12 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Sat May 14 10:08:12 2016 +0200 |
| tree | 6f5e7eaa61cd1c745947c19601dcb408ca2f3489 | |
| parent | f0701d5f9a780a2c11073fc78be87337dc441a08 [diff] | |
| parent | b81b21c80c957b1bfeb831ca23a52166c78343c0 [diff] |
Merge pull request #105 from mpeuster/master state API fix