diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-03 13:09:10 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-03 13:09:10 +0100 |
| commit | 48ea50bf04a1bd12999bd9e27558ac31988c7228 (patch) | |
| tree | 64b223398a3b62b8cc4e86239495a5b3e446441a /editors/code/src/ctx.ts | |
| parent | c7eb19ebf9d42cada8cb532c6b3cb0e11a531b93 (diff) | |
| parent | a1e650082b068919f9515330e6d0977c09af190f (diff) | |
Merge #9124
9124: Apply a few clippy suggestions r=lnicola a=clemenswasser
Co-authored-by: Clemens Wasser <[email protected]>
Diffstat (limited to 'editors/code/src/ctx.ts')
0 files changed, 0 insertions, 0 deletions