Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Tue, 18 Jan 2011 15:32:12 +0000 (16:32 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Tue, 18 Jan 2011 15:32:12 +0000 (16:32 +0100)
commit9fa07490358564c48c0e381ea8b5346869babfdf
tree3ab0217e59a5f0461e03d3311d83fc2f5f6fb0cf
parent0d662e5a737993914b35c20b933ea7be2c1f5333
parent2397144294c496fe17c3a8b7ae2eaa45f2898b93
Merge branch 'master' of gitorious.org:opensuse/sat-solver