| commit | 9c22ea1682eed439577fb1ebc89dd1047d365d7f | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Wed Oct 28 23:35:49 2015 |
| committer | Mate Soos <soos.mate@gmail.com> | Wed Oct 28 23:35:49 2015 |
| tree | f88f1539b6123be960d3c2518a09bd02ab20ec0b | |
| parent | 1f352dc6958966d7727ea31dac06efdd03c5bc83 [diff] |
Bumping version and releasing after KLEE build fix