diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-31 11:19:03 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-31 11:19:03 +0100 |
commit | 7e5547265517fc9d193a299453a234dc9b598b5c (patch) | |
tree | 0f6f7be3a39af2043e712d3f3ce30a7258300b76 /.clang-format | |
parent | 3b80f03c92a0a66fabe1e9a115f848cf36549225 (diff) | |
parent | f1d9dbfb08e57a2f931d6e4de9b39c1cbf8c65d2 (diff) |
Merge pull request #35500 from Calinou/profiler-display-milliseconds
Display times as milliseconds in the profiler and performance monitors
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions