- move some debug output to a different debug level
authorMichael Schroeder <mls@suse.de>
Tue, 21 Oct 2008 11:57:52 +0000 (11:57 +0000)
committerMichael Schroeder <mls@suse.de>
Tue, 21 Oct 2008 11:57:52 +0000 (11:57 +0000)
commite1fc67351e56c00e0261d72d3fbbd84e1efd4069
treeabbc94e0f9f2d0903391a9a1e3b93739431b3ac4
parent0d02bbcb2720401a2f57a5a0c741b95e7b3e95ab
- move some debug output to a different debug level
src/solver.c