Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorKlaus Kämpf <kkaempf@suse.de>
Sat, 13 Mar 2010 11:59:07 +0000 (12:59 +0100)
committerKlaus Kämpf <kkaempf@suse.de>
Sat, 13 Mar 2010 11:59:07 +0000 (12:59 +0100)
commit7bdc9f122740d6e22056ffebcc00cb40190ff503
tree0fc05756d3ea019168c278de77f9f9b7fa5984d0
parent1693adbd18248a5af685a2627b36bfbe2499183b
parenta381a44ca8b6a48a308b3eff04bf05f8b0cda33e
Merge branch 'master' of gitorious.org:opensuse/sat-solver