Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Wed, 22 Dec 2010 21:08:33 +0000 (22:08 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Wed, 22 Dec 2010 21:08:33 +0000 (22:08 +0100)
commit3b63bb04a5c21b28fbeefb796f0bcf6375f6e50b
tree3d4115090f6bb91761358597d1f86bc35d1a2a94
parentb39e5f2f2d3d1ceb741c8f15ac4725ad111872d6
parentaa2af7a173bbd7c9139fba3be958dcd925118866
Merge branch 'master' of gitorious.org:opensuse/sat-solver