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)
commit8ff8c2f38aff445fd55852594001d3d0418e252c
tree0fa81fdb70ad4dc5f921bd066cc15e2a9dd56e72
parenta45b3df215e0487653538699578bfdb2deaf5bd3
parenta39322109406f47ef4ebfbb70d8204397e9a2de4
Merge branch 'master' of gitorious.org:opensuse/sat-solver