diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-28 12:03:18 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-05-28 12:03:18 +0100 |
| commit | 613649e6318173099d25348c67e172ddf0277d86 (patch) | |
| tree | be6f2be74e5af969faa63beb0b59ddfadbed8907 /.vscode/extensions.json | |
| parent | 80fdb13c475928c077fe2801fbc195c92128cd63 (diff) | |
| parent | 61b4456752999188cdcd6a864ce170334b777089 (diff) | |
Merge #9037
9037: minor: Move runnable lenses below attributes r=Veykril a=Veykril
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to '.vscode/extensions.json')
0 files changed, 0 insertions, 0 deletions