projects / platform / upstream / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6561637) | patch
- delete wrong comment. the learnt rule cannot be added twice
authorMichael Schroeder <mls@suse.de>
Tue, 11 Mar 2008 10:45:41 +0000 (10:45 +0000)
committerMichael Schroeder <mls@suse.de>
Tue, 11 Mar 2008 10:45:41 +0000 (10:45 +0000)
commit2a99f88af457f17f267a45a4762b3a2e79f6661f
treeb4d4a6fe835fded1ef5cbfefed0f558b18698133tree | snapshot
parent6561637560502ab35bb0376d73d232c12f895fbacommit | diff
- delete wrong comment. the learnt rule cannot be added twice
  as it conflicts with the current decision. So it is correct
  to just disable it.
src/solver.c diff | blob | history
Domain: System / Base;