enabled locking in SAT solver
authorStefan Schubert <schubi@suse.de>
Thu, 17 Jan 2008 15:23:46 +0000 (15:23 +0000)
committerStefan Schubert <schubi@suse.de>
Thu, 17 Jan 2008 15:23:46 +0000 (15:23 +0000)
commite7686d4f912ecd4a98209c63868a0d23d6ddf4ef
tree7a262ef4cf2d5b5fdd60098ec1971e686756ce03
parentf289520a11d63c488ac8eb7c5e22540135ad1f51
enabled locking in SAT solver
zypp/sat/SATResolver.cc
zypp/sat/SATResolver.h