aboutsummaryrefslogtreecommitdiff
path: root/docs/user
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-05-20 20:04:02 +0100
committerGitHub <[email protected]>2020-05-20 20:04:02 +0100
commit3dfc461f1e44ee7cebee672cac02d56ba5523f67 (patch)
tree1a2d882cfc31196a4c9f261c725e58c49da27452 /docs/user
parent2711454e40c8e6ade56f7cf071e0bb0029d96171 (diff)
parentd58d6412d837a9f6475e04c74709d78f52c9ff6a (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