| commit | d71beac1a3d831da1a30663adca08c001222dd05 | |
| author | u-u-h <lisp@uuhaus.de> | |
| Tue, 31 May 2016 08:45:56 +0000 (31 10:45 +0200) | ||
| committer | u-u-h <lisp@uuhaus.de> | |
| Tue, 31 May 2016 08:47:10 +0000 (31 10:47 +0200) | ||
| tree | 53bb943d6e1f14b2f45a5c93925d54bfd445bbe8 | treesnapshot (tar.gz zip) |
| parent | ebe62bbb7b8fb96decf8c3d3f3b4fa041608df78 | commitdiff |
fix minisat compile on modern c++ compilers