diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-22 13:48:43 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-22 13:48:43 +0000 |
commit | 9f616ed65a3cd3088a006ab9f116c2b9a2235cb6 (patch) | |
tree | bbb71537c3c45985d1e309f351ed598d9e21498e /editors/code | |
parent | db850cf976ff2d291fecab8c1b5b876f4c747dc0 (diff) | |
parent | 08df35537574d242f5f09b0f21eef14a5d0eb4ac (diff) |
Merge #2644
2644: More compact profiling display r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions