Steffen Jaeckel 1bc0088330 use correct printf format specifier in timing.c ... This fixes #54		2017-10-15 12:01:38 +02:00
..
demo.c	add testcase for #67	2017-10-15 12:01:04 +02:00
timing.c	use correct printf format specifier in timing.c	2017-10-15 12:01:38 +02:00