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)
commit99402ae61e45cb2eb859afe2952827d9c04b14e3
tree462e98a9b95418626f13c217fc100a9f5c71eba3
parent67ba3106e8e5e1adb43fff0027af4e31fed0db90
parentd49cbaa486e6aecf6d28c798044a712067ef38db
Merge branch 'master' of gitorious.org:opensuse/sat-solver