Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorMichael Schroeder <mls@suse.de>
Thu, 25 Mar 2010 10:27:34 +0000 (11:27 +0100)
committerMichael Schroeder <mls@suse.de>
Thu, 25 Mar 2010 10:27:34 +0000 (11:27 +0100)

Trivial merge