diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-03 18:31:41 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-03 18:31:41 +0000 |
commit | 2fcc6bdafa1caffd4ddf98968ee967e9fb091cc0 (patch) | |
tree | 5a278ad534d2de9f308bbdfef323c3b20bf9a653 /.gitignore | |
parent | 6c0bca5984a6b66d306f9a413b0433c15d450500 (diff) | |
parent | d61707b4e1f0bdfc7f62b1abf78fdc45c0128699 (diff) |
Merge #421
421: Index macros r=matklad a=matklad
So, this is pretty cool! We now index items which are the result of macro expansion! (of a single currently hard-coded macro). So, workspace symbols can now be used to navigate to `HirDatabase`, for example
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions