diff options
| -rw-r--r-- | src/doc/rustc/src/lints/listing/deny-by-default.md | 3 |
1 files changed, 3 insertions, 0 deletions
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. |