diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-11-09 09:43:50 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-11-09 09:43:50 +0000 |
| commit | 258ed903a5b436d0dc1ac3b057bfa5d9ab3778ed (patch) | |
| tree | 3df41335ea02fdf7bfb170647d52e9bcba4fab20 /benchmarks | |
| parent | 42f7ee18900aa6f7a825182c669a4d30b6a29d63 (diff) | |
(time_str): Specify format for decimals correctly.
Diffstat (limited to 'benchmarks')
0 files changed, 0 insertions, 0 deletions