mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-06 02:37:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

Merge pull request #1495 from zed-industries/remove-clippy

Browse source 
Removed clippy from default settings
This commit is contained in:
Mikayla Maki 2022-08-11 11:47:41 -07:00 committed by GitHub
commit 4b945f5694
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
assets/settings/default.json
View file

@ -154,13 +154,13 @@
//rust-analyzer
//typescript-language-server
//vscode-json-languageserver
"rust_analyzer": {
//These initialization options are merged into Zed's defaults
"initialization_options": {
"checkOnSave": {
"command": "clippy"
}
}
}
// "rust_analyzer": {
// //These initialization options are merged into Zed's defaults
// "initialization_options": {
// "checkOnSave": {
// "command": "clippy"
// }
// }
// }
}
}