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)
commit8f676fa6109c74c984af0fe993f903b7ce567120
tree4d65f2b4646cda6c6c4b247c4f118ef23101df97
parent4ace9e913d0ea247fca379ff90be794caf96dacb
parent204c3b9df5ded0c70ec2eddaee09d487df2181b1
Merge branch 'master' of gitorious.org:opensuse/sat-solver