Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorMichael Schroeder <mls@suse.de>
Fri, 19 Feb 2010 16:29:09 +0000 (17:29 +0100)
committerMichael Schroeder <mls@suse.de>
Fri, 19 Feb 2010 16:29:09 +0000 (17:29 +0100)
commitd08071579cf792f37d5031fa416d54ec07bd6f0a
tree0c893463b3b73c74dddb51cfe28e39c49fef01c4
parent785b7a4b7e2ef8268fc73f40d2bc89127da34e04
parentfb327289faf25cfdeee52cdaff3834aca09a5f9f
Merge branch 'master' of gitorious.org:opensuse/sat-solver