diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-19 17:22:40 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-19 17:22:40 +0000 |
commit | 0000c7753ead95d71cb95ccc4929d4845f218ab2 (patch) | |
tree | b25ab818073492ff8c80176043b68ffe7a40ab3c /.vscode/extensions.json | |
parent | 90f3b31efc1afe5de671fd6076fef3240f4151ab (diff) | |
parent | 9ccad60acca0d359f1fd9046c99952d0c1adc763 (diff) |
Merge #2600
2600: Plumbing for local items support r=matklad a=matklad
bors r+
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.vscode/extensions.json')
0 files changed, 0 insertions, 0 deletions