Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Thu, 11 Nov 2010 20:17:01 +0000 (21:17 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Thu, 11 Nov 2010 20:17:01 +0000 (21:17 +0100)
commite03ec5cd0b90abef2541cedb255928487b6e2fe1
tree827404e48c8a88f6da60b879efc7436e751c00d6
parent7bdc9f122740d6e22056ffebcc00cb40190ff503
parentef224dfed946ad6e7ff98ed81ff2d9db164e8388
Merge branch 'master' of gitorious.org:opensuse/sat-solver