diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-14 23:05:12 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-02-14 23:05:12 +0000 |
| commit | 58f4dcf79ecf3b8dcec83d46a27a29340900a0ef (patch) | |
| tree | e40a833dd72df793cb3d81d298e4c5a2564ff552 /.github/workflows/release.yaml | |
| parent | 9ba801befd70892bf40429512e890389171aa59f (diff) | |
| parent | 80d5ba68da2785280cf154d5d812915b99fc0e87 (diff) | |
Merge #3152
3152: vscode: a couple of more intuitive names and shortening languageServer to langServer r=matklad a=Veetaha
God, naming is so hard. I'd like to extract this change from upcomming "Download latest language server" command PR.
Co-authored-by: Veetaha <[email protected]>
Diffstat (limited to '.github/workflows/release.yaml')
0 files changed, 0 insertions, 0 deletions