diff options
author | Jakob Odersky <jodersky@gmail.com> | 2012-07-05 13:01:35 +0200 |
---|---|---|
committer | Jakob Odersky <jodersky@gmail.com> | 2012-07-05 13:01:35 +0200 |
commit | 945fba1a08e05abb8c5396023871f4b79d0a392a (patch) | |
tree | 3cb312076c82672c60b14fda536b8862217bdd3b /Makefile | |
parent | 498a74170c61f15b5220a3c120a59b2a03a4ef62 (diff) | |
download | k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.tar.gz k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.tar.bz2 k8055-945fba1a08e05abb8c5396023871f4b79d0a392a.zip |
fix benchmark: milliseconds are displayed as double
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions