diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-09-15 22:11:25 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-09-15 22:11:25 +0100 |
| commit | 3993bb4de95af407e5edc1fe551bec0f001a3f0f (patch) | |
| tree | 31893552cd739187080048df24a629d416174305 /editors/code/.gitignore | |
| parent | 2a56b5c4f096736d6795eecb835cc2dc14b00107 (diff) | |
| parent | fcdf3a52b4b61a39474950486ea0edf5ebf33bea (diff) | |
Merge #67
67: Salsa r=matklad a=matklad
The aim of this PR is to transition from rather ad-hock FileData and ModuleMap caching strategy to something resembling a general-purpose red-green engine.
Ideally, we shouldn't recompute ModuleMap at all, unless the set of mod decls or files changes.
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions