From 79fa4d1a94a10563663a49d2a8e59dee93de1fce Mon Sep 17 00:00:00 2001 From: Alex Crichton Date: Tue, 25 Feb 2020 11:00:44 -0800 Subject: [PATCH] Merge clippy configs --- clippy.toml | 2 +- cranelift/clippy.toml | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) delete mode 100644 cranelift/clippy.toml diff --git a/clippy.toml b/clippy.toml index 152f137769..caabf12b77 100644 --- a/clippy.toml +++ b/clippy.toml @@ -1 +1 @@ -doc-valid-idents = ["WebAssembly"] +doc-valid-idents = [ "WebAssembly", "NaN", "SetCC" ] diff --git a/cranelift/clippy.toml b/cranelift/clippy.toml deleted file mode 100644 index caabf12b77..0000000000 --- a/cranelift/clippy.toml +++ /dev/null @@ -1 +0,0 @@ -doc-valid-idents = [ "WebAssembly", "NaN", "SetCC" ]