diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-09 09:05:45 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-09 09:05:45 +0000 |
commit | fcaab594518bb097e207e94453cfe11ef5413c39 (patch) | |
tree | 83a8d0f856feb789047a2af2b60d342d98084a81 /crates/ra_syntax/src/ptr.rs | |
parent | beb4f4954179998e317db33e47a48a9bb7374977 (diff) | |
parent | ce65cc949f9e183c7c166212b4f3d7d4abd102b0 (diff) |
Merge #3514
3514: vscode: askBeforeDownload option r=matklad a=Veetaha
This is a small step towards #3402, also implements my proposal stated in #3403
Also renamed `BinarySource` to `ArtifactSource` in anticipation of nightlies installation that requires downloading not a binary itself but `.vsix` package, thus generalized to `artifact` term.
@matklad @lnicola
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions