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)
commit0d662e5a737993914b35c20b933ea7be2c1f5333
treee3e3127d4516cd525f1fbaff2145284bbc4234cf
parent6fd313f5e7cc4e5f232a78f67490d842f5d84e4f
parent4dcc97726161ed46bb7041ce16669faa637cb05d
Merge branch 'master' of gitorious.org:opensuse/sat-solver