diff options
author | Aleksey Kladov <[email protected]> | 2019-02-11 12:39:26 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-02-11 12:41:39 +0000 |
commit | 58ed8ee6650058d5dc4ce511e2d9c04fdfa09aaf (patch) | |
tree | 1a45d04e9cef82dd57967e99e9af9b923a193836 /editors/code/.gitignore | |
parent | 2babbbb97800b526cc29f244bb6ea58b213d24f3 (diff) |
use extern prelude in Resolver
This fixes two bugs:
- completion for paths works again
- we handle extern prelude shadowing more correctly
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions