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)
commite4006befdd6d6860ce51a23fb8bb861912ec21a9
tree70c228c90a7821f235115294404f62058c0f0f13
parent24454241ef0ab07c7eefe5a63c25552722bf8918
parent0c22cb2d166f30a5e9110417cddfbb0d04024213
Merge branch 'master' of gitorious.org:opensuse/sat-solver