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)
commit6fd313f5e7cc4e5f232a78f67490d842f5d84e4f
treee26a363efc5852c343ffd6e8cf09d05f645de690
parent8c32041b27ede65080c92f981556e1522a369fed
Merge branch 'master' of gitorious.org:opensuse/sat-solver