- more memory usage statistics
authorMichael Schroeder <mls@suse.de>
Wed, 21 Mar 2012 13:34:54 +0000 (14:34 +0100)
committerMichael Schroeder <mls@suse.de>
Wed, 21 Mar 2012 13:34:54 +0000 (14:34 +0100)
commitdc6bc5424886363c9726f434dce99e918e238a11
treee147a7fc88443ab887e60d41152636bc2b1bfdb0
parent9a98a8f8ce90fb3bdb0707737582a4153056946e
- more memory usage statistics
src/pool.c
src/solver.c