diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-27 21:02:26 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-27 21:02:26 +0100 |
commit | de278d164906d6d29974790c5a4db28303692484 (patch) | |
tree | cc09d9554a015aaf27a7caf6a60e6994f4b4f58b /editors/code/src/utils/diagnostics | |
parent | 442072d746c06c61923d85b8e33f4201a7bd57ab (diff) | |
parent | e29cbcbedd9586707d46e82a32c553e0a95632da (diff) |
Merge #1599
1599: it's a good idea to build extension before installing it r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src/utils/diagnostics')
0 files changed, 0 insertions, 0 deletions