Skip to content

Commit 2b10a5e

Browse files
committed
fix: Be more precise when talking about disjoint groups
1 parent 51f4984 commit 2b10a5e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/3389-manifest-lint.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -198,7 +198,7 @@ This does not allow sharing lints across workspaces.
198198

199199
When designing this, we wanted to keep in mind how things work today, including
200200
- `clippy` defines all configuration as linter/tool config and not lint config (linter/lint config is a future possibility)
201-
- All `clippy` lints are disjoint
201+
- All `clippy` lint groups are disjoint
202202
- `rustdoc` has no plans for groups outside of `all`
203203
- `rustc` today has some intersecting groups
204204

0 commit comments

Comments
 (0)