Merge clippy configs

2020-02-25 11:00:44 -08:00
parent 5f1cba0b7f
commit 79fa4d1a94
2 changed files with 1 additions and 2 deletions
--- a/clippy.toml
+++ b/clippy.toml
@@ -1 +1 @@
-doc-valid-idents = ["WebAssembly"]
+doc-valid-idents = [ "WebAssembly", "NaN", "SetCC" ]
--- a/cranelift/clippy.toml
+++ b/cranelift/clippy.toml
@@ -1 +0,0 @@
-doc-valid-idents = [ "WebAssembly", "NaN", "SetCC" ]
				`@@ -1 +0,0 @@`
				`doc-valid-idents = [ "WebAssembly", "NaN", "SetCC" ]`