Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Thu, 2 Dec 2010 10:30:22 +0000 (11:30 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Thu, 2 Dec 2010 10:30:22 +0000 (11:30 +0100)
commit29b546ff3ebe910c3fa2a9be0abb249c0328768a
treef45b58fb1af4debccffc0a86d3ce692c2d98a760
parente03ec5cd0b90abef2541cedb255928487b6e2fe1
parent1913554650d8d1c98edc3ee373db49ae6382b832
Merge branch 'master' of gitorious.org:opensuse/sat-solver