diff options
| author | bors <bors@rust-lang.org> | 2020-12-26 22:35:16 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-26 22:35:16 +0000 |
| commit | 0fbc0ce3ab75237c4f65022bdb1f8673811dc858 (patch) | |
| tree | 2296d3c082b854dc0084f83d441e463db9079864 | |
| parent | 0b644e419681835bd0f5871c3bfbd648aa04f157 (diff) | |
| parent | 6dab9265c89f0d17ba48431f9d4a1593e8fcf44d (diff) | |
| download | rust-0fbc0ce3ab75237c4f65022bdb1f8673811dc858.tar.gz rust-0fbc0ce3ab75237c4f65022bdb1f8673811dc858.zip | |
Auto merge of #80396 - ehuss:fix-missing-deny, r=Mark-Simulacrum
Fix missing deny-by-default.md file. I don't know why, but #80296 deleted this file. Add it back so that the docs can be viewed directly with mdbook without it auto-generating the file.
| -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. |