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