diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-20 20:04:02 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-20 20:04:02 +0100 |
commit | 3dfc461f1e44ee7cebee672cac02d56ba5523f67 (patch) | |
tree | 1a2d882cfc31196a4c9f261c725e58c49da27452 /docs/user | |
parent | 2711454e40c8e6ade56f7cf071e0bb0029d96171 (diff) | |
parent | d58d6412d837a9f6475e04c74709d78f52c9ff6a (diff) |
Merge #4536
4536: Fix names of launch configuration in dev docs r=kjeremy a=kuy
Follows renaming of launch configurations in https://github.com/rust-analyzer/rust-analyzer/commit/80a42a0628f7655c3299fbf4c5a15e31990b35d3
Co-authored-by: Yuki Kodama <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions