2 commits

Author	SHA1	Message	Date
Nico Schottelius	deb7b2a7fc	beautify times log ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-04-28 18:59:28 +02:00
Nico Schottelius	2d0158ef89	add timing information ... Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>	2011-04-28 15:57:06 +02:00