Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Tue, 21 Dec 2010 21:00:25 +0000 (22:00 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Tue, 21 Dec 2010 21:00:25 +0000 (22:00 +0100)
commitb39e5f2f2d3d1ceb741c8f15ac4725ad111872d6
treef777b21a62e528fedfc57beb3d0b99f25aa1a0c3
parent6bed3811266da801758cff7dcd5d99ee45fb72cc
parent708812054a5cc388c7ded0cd65d2c91cc2e58060
Merge branch 'master' of gitorious.org:opensuse/sat-solver