- fix schubi's indenting
authorMichael Schroeder <mls@suse.de>
Wed, 14 Nov 2007 13:24:06 +0000 (13:24 +0000)
committerMichael Schroeder <mls@suse.de>
Wed, 14 Nov 2007 13:24:06 +0000 (13:24 +0000)
commit2d4ee0b5a2bc26486116bb741f5f512df6993ebe
tree6456a82ca162c62b1e76f8a25022774245623485
parent9cd1c4e51a0e777ab791661a73287e6b1261dc8e
- fix schubi's indenting
- print more info about encountered problems (experimental)
- changes problem format again, sorry schubi
src/solver.c