diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-06-25 17:01:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-25 17:01:46 +0200 |
| commit | 0954c8f01765125d90e641b85c6015b1371e5010 (patch) | |
| tree | 6b1ad97336714637fbfbfcda867ec0c96088a49a /platform | |
| parent | baf85f299c054564d4a6492b6e117a20d3aa1bda (diff) | |
| parent | 9634e3586cf547fc951a58983b494f9f0131b07f (diff) | |
Merge pull request #19744 from marcelofg55/profiler_clear
Add a Clear button to the profiler
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions