* print_time, print_stats: Output reformated.
authortwisti <none@none>
Fri, 16 Sep 2005 12:05:10 +0000 (12:05 +0000)
committertwisti <none@none>
Fri, 16 Sep 2005 12:05:10 +0000 (12:05 +0000)
commit744367e52dafeff34181d3258596549ff9c1ba88
tree6b0c877b7b0729bf635adfa246905a80c525dc36
parentedc6f21358acef8ff335ccfe74c40451280f822c
* print_time, print_stats: Output reformated.
src/vm/statistics.c