diff options
| author | Aleksey Kladov <[email protected]> | 2020-07-20 16:57:10 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-07-20 16:57:10 +0100 |
| commit | bc4d047267232db485e24f74c05ad03f76b1786b (patch) | |
| tree | 19794821bbcb5c535849846b7c51b58ba4c3d5f2 /.github | |
| parent | c7ccfb072c0f8b8e7a47424c341103f48d4648e1 (diff) | |
Add is_workspace_member for rust-project.json
It is currently unused, but, in the future, it will be used to:
* drive certain UX (symbols search by default will look only in the
members)
* improve performance (rust-analyzer will assume that non-members
change rarely)
If not specified, is_workspace member is inferred from the path
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions