diff options
| author | Andrey Andreev <narf@devilix.net> | 2013-08-19 19:12:19 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2013-08-19 19:12:19 +0200 |
| commit | a1553a9a49b8d355de7892204759651aa3532dad (patch) | |
| tree | cad375d9775c769700c2f4027e4c724d2d48dff6 /user_guide_src/source/images/folder.gif | |
| parent | 49890a95da8438910b6f6b8da43ec5e5cd10f53c (diff) | |
Lower precision for the CI_Benchmark::elapsed_time() test - there's no way to reliably test it
Diffstat (limited to 'user_guide_src/source/images/folder.gif')
0 files changed, 0 insertions, 0 deletions