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)
commit96b4419215d1cdbad954bac46ab4aceceb43af57
tree82db24974ddc61863c5f523940d2cd61885c51a0
parente2fd89d04f9bc7d3f7b3b4a963cbceb90688a9b1
parent0ffaf87857d01014786bb21f47904bd7011dd2eb
Merge branch 'master' of gitorious.org:opensuse/sat-solver