Merge branch 'master' of gitorious.org:opensuse/sat-solver
authorMichael Schroeder <mls@suse.de>
Tue, 31 Aug 2010 17:05:27 +0000 (19:05 +0200)
committerMichael Schroeder <mls@suse.de>
Tue, 31 Aug 2010 17:05:27 +0000 (19:05 +0200)

Trivial merge