Skip to content

Commit

Permalink
Auto merge of #13878 - kpreid:patch-2, r=weihanglo
Browse files Browse the repository at this point in the history
docs(ref): Correct heading level of `[lints]` documentation

It was two levels too deep. (Compare with the following `[badges]` section header.)
  • Loading branch information
bors committed May 7, 2024
2 parents 4e59631 + ccf1607 commit 451d384
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/doc/src/reference/manifest.md
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 451d384

Please sign in to comment.