From 6dab9265c89f0d17ba48431f9d4a1593e8fcf44d Mon Sep 17 00:00:00 2001 From: Eric Huss Date: Sat, 26 Dec 2020 13:53:10 -0800 Subject: [PATCH] Fix missing deny-by-default.md file. --- src/doc/rustc/src/lints/listing/deny-by-default.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 src/doc/rustc/src/lints/listing/deny-by-default.md diff --git a/src/doc/rustc/src/lints/listing/deny-by-default.md b/src/doc/rustc/src/lints/listing/deny-by-default.md new file mode 100644 index 00000000000..3c1452d6467 --- /dev/null +++ b/src/doc/rustc/src/lints/listing/deny-by-default.md @@ -0,0 +1,3 @@ +# Deny-by-default lints + +This file is auto-generated by the lint-docs script.