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)
commitb0f3a66478ec01202820925f2d6ddd2816412290
tree1d1f1ff0ae09bdba910cb7babbaeb95218c513ac
parent1eb7c3ae5aac90eb7436c0b28cc8db589109c74f
parent6fda97dc583bcca6cfcb19b96f15e80e1df0fb32
Merge branch 'master' of gitorious.org:opensuse/sat-solver