diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-11 12:16:22 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-11 12:16:22 +0200 |
| commit | b8654eaa6c4c4abaed9b8e448445b992c87bb41e (patch) | |
| tree | cf9127650966949e8aed9189ad73ae2a59751627 /src/main.rs | |
| parent | 8b45dd704b974fb9c6d8ea58330ca893154cb5db (diff) | |
Stabilize tool lints
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 11c259b4d6b..efdcc42dea3 100644 --- a/src/main.rs +++ b/src/main.rs @@ -11,7 +11,7 @@ // error-pattern:yummy #![feature(box_syntax)] #![feature(rustc_private)] -#![feature(tool_lints)] + #![allow(unknown_lints, clippy::missing_docs_in_private_items)] use rustc_tools_util::*; |