Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorMichael Schroeder <mls@suse.de>
Mon, 17 May 2010 12:38:58 +0000 (14:38 +0200)
committerMichael Schroeder <mls@suse.de>
Mon, 17 May 2010 12:38:58 +0000 (14:38 +0200)
commit46e5f64ed20bd450269354f031330ed54dda7247
tree03012cbb965d8971612bba5b5912927a1bff8e01
parentd9af474d4602f6908e45e2acd2854fffd7cb22a2
parentf1e28206fc9e3d554743f1b56552972e337398cf
Merge branch 'master' of gitorious.org:opensuse/sat-solver