Skip to content

Commit b916841

Browse files
authored
Remove unused option None for LEVEL_FILTERS_DEFAULT (#15315)
Take to account that we don't have lints under under `None` for `LEVEL_FILTERS_DEFAULT` so far https://rust-lang.github.io/rust-clippy/master/index.html?levels=none, we can remove it. changelog: none
2 parents 5acb1d4 + 048a64a commit b916841

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

util/gh-pages/script.js

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -208,7 +208,6 @@ const LEVEL_FILTERS_DEFAULT = {
208208
allow: true,
209209
warn: true,
210210
deny: true,
211-
none: true,
212211
};
213212
const APPLICABILITIES_FILTER_DEFAULT = {
214213
Unspecified: true,

0 commit comments

Comments
 (0)