diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-16 21:36:19 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-16 21:36:19 +0100 |
commit | 8d296be1090b21b60e509c831864ae85feec2490 (patch) | |
tree | 722e65f7ba7f3a010cfc88982c91b3495ccb4a57 /editors | |
parent | 10d8cb913cb8247ae64b954cf07460f1b6d96ef7 (diff) | |
parent | 422ae477ce2a52c8d004ce629318f0b7c1d89638 (diff) |
Merge #3995
3995: Separate project discovery from project loading r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions