nicer stats, bugfix
authorChristian Grothoff <christian@grothoff.org>
Thu, 14 Jul 2011 12:04:07 +0000 (12:04 +0000)
committerChristian Grothoff <christian@grothoff.org>
Thu, 14 Jul 2011 12:04:07 +0000 (12:04 +0000)
commitd3c70c3bfde07f93c72effebbfd11436a5a9590c
tree41d614addc19e63fe0becba5c6d42c521ec917d6
parent8af646076372f322fd772736523e890cef2d69f0
nicer stats, bugfix
src/fragmentation/defragmentation.c
src/fragmentation/fragmentation.c