diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-17 13:28:37 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-17 13:28:37 +0000 |
commit | a26840d603e672bace319f45b28dd615de1b0c2d (patch) | |
tree | ca3b28e41aa2c335d34ee995aee92406294a1085 /crates/ra_ide/src/status.rs | |
parent | ba6312a2df31235f3d4dce6acd479b8046c1087c (diff) | |
parent | 22ae4cb90699d64b8bb455635bad7abb406bb39e (diff) |
Merge #2568
2568: Add option to disable all-targets. r=matklad a=pftbest
Can be useful in embedded.
Co-authored-by: Vadzim Dambrouski <[email protected]>
Diffstat (limited to 'crates/ra_ide/src/status.rs')
0 files changed, 0 insertions, 0 deletions