mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge #11747

Browse Source 
11747: minor: Remove Update GitHub API token command r=lnicola a=lnicola

bors r+

Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
This commit is contained in:
bors[bot] 2022-03-18 07:19:42 +00:00 committed by GitHub
commit 38d2a9763b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
editors/code/package.json
View File

@ -184,11 +184,6 @@
"title": "Restart server",
"category": "Rust Analyzer"
},
{
"command": "rust-analyzer.updateGithubToken",
"title": "Update Github API token",
"category": "Rust Analyzer"
},
{
"command": "rust-analyzer.onEnter",
"title": "Enhanced enter key",
@ -1432,10 +1427,6 @@
"command": "rust-analyzer.reload",
"when": "inRustProject"
},
{
"command": "rust-analyzer.updateGithubToken",
"when": "inRustProject"
},
{
"command": "rust-analyzer.onEnter",
"when": "inRustProject"