From ccf160721b945c07c865da1e8cf7e89b35e82b86 Mon Sep 17 00:00:00 2001 From: Kevin Reid Date: Tue, 7 May 2024 11:45:21 -0700 Subject: [PATCH] Correct heading level of `[lints]` documentation It was two levels too deep. (Compare with the following `[badges]` section header.) --- src/doc/src/reference/manifest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/doc/src/reference/manifest.md b/src/doc/src/reference/manifest.md index aeecf8b16e8..685ec2e35ab 100644 --- a/src/doc/src/reference/manifest.md +++ b/src/doc/src/reference/manifest.md @@ -544,7 +544,7 @@ both `src/bin/a.rs` and `src/bin/b.rs`: default-run = "a" ``` -#### The `lints` section +## The `[lints]` section Override the default level of lints from different tools by assigning them to a new level in a table, for example: