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)
commit4305bcf7f84f24755b7c1e86a9fd35b6060f52b7
treecca3acd2e0dde2fc5a977f6043a3ad5537e616b7
parent3b63bb04a5c21b28fbeefb796f0bcf6375f6e50b
parent9e1f2a097965debebc69cebf8ed73c6ff31a5220
Merge branch 'master' of gitorious.org:opensuse/sat-solver