diff options
| author | 2024-08-16 21:20:09 +0000 | |
|---|---|---|
| committer | 2024-08-19 22:58:07 +0000 | |
| commit | b47668154f379959ab0bf303e246afdc06becf37 (patch) | |
| tree | 404dc3baf4d62e13e53601bae627699c6634d5f9 /api/coverage/tools | |
| parent | def4f6c4bfdf986a8f5bbca2d33e5c6b87a81730 (diff) | |
al-ov: Use F4 to toggle Overview
Fixes: 358452215
Test: Manual - took a video
Flag: EXEMPT bugfix
Change-Id: I5768514667e12c22582a67dd2f56bb188f117f73
Diffstat (limited to 'api/coverage/tools')
0 files changed, 0 insertions, 0 deletions