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