diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-25 16:47:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-25 16:47:52 +0200 |
| commit | 510bb3789e6d5a0703ddbbdd6714548db4f3d7e0 (patch) | |
| tree | 95068dba2a169f84456265c4f24e57b5ce8c0e6f /platform/android | |
| parent | 1a33ef31a7a78087ccf51b09c4c959b66bdd2639 (diff) | |
| parent | 7f12618fdf81e77cd7413383d49fc0fb19c93dd2 (diff) | |
Merge pull request #30815 from YeldhamDev/debugger_monitor_text_integer
Fix text position in the debugger's "Monitors" tab not being an integer
Diffstat (limited to 'platform/android')
0 files changed, 0 insertions, 0 deletions