do NOT ignore sat solver settings
authorStefan Schubert <schubi@suse.de>
Thu, 6 Mar 2008 13:54:49 +0000 (13:54 +0000)
committerStefan Schubert <schubi@suse.de>
Thu, 6 Mar 2008 13:54:49 +0000 (13:54 +0000)
commit9a833de9e95228c10883a130b05e3910614a853b
treee09726ff4e73747893ad73a5fcbd1d972e4bc29f
parentcf14fda56272099ccbd4e5a8b655d20e591da691
do NOT ignore sat solver settings
zypp/sat/SATResolver.cc