| commit | 9b9021b28bf95c3851835e0c836a05cb5baa4670 | [log] [tgz] |
|---|---|---|
| author | Mate Soos <soos.mate@gmail.com> | Thu Jul 21 22:01:42 2016 |
| committer | Mate Soos <soos.mate@gmail.com> | Thu Jul 21 22:01:42 2016 |
| tree | 761a88ddc4b1152f975b25deb318027a71aafcb4 | |
| parent | c5e2b5427ddf08dec61de129361416d7672acf60 [diff] |
Fixing cryptominisat libraries location