diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-11 20:41:41 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-01-11 20:41:41 +0000 |
| commit | 3924c7de505b591d3e1281857a61713fbe308d59 (patch) | |
| tree | 2bab7953c6fb1d089ce2acaf7b646adc4921b128 /docs/dev/debugging.md | |
| parent | 867081220921c1c593f11866bbdba8b845090c07 (diff) | |
| parent | 8e778f9842123e1f688a2632d99e439821801bd2 (diff) | |
Merge #2791
2791: Slightly more robust cargo watcher root search r=kiljacken a=kiljacken
Fixes #2780 (hopefully).
Use the already painstakingly found `workspaces` instead of naively using `folder_roots` from editor.
Co-authored-by: Emil Lauridsen <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions