Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Thu, 11 Nov 2010 20:17:01 +0000 (21:17 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Thu, 11 Nov 2010 20:17:01 +0000 (21:17 +0100)
commit15a4d1b4a21e3dfcfbe2a82dba0a2db49f04d411
tree7cba498369fc7e7853d3d9400d16444c4599aba5
parentd4afc86bb54115d62acb8c945eff0f5d75276c42
parent63145db3f5b171258445f3404967a3a3ec58ab95
Merge branch 'master' of gitorious.org:opensuse/sat-solver