diff options
| -rw-r--r-- | util/gh-pages/script.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/util/gh-pages/script.js b/util/gh-pages/script.js index d3204967531..cfc5fb7b27c 100644 --- a/util/gh-pages/script.js +++ b/util/gh-pages/script.js @@ -208,6 +208,7 @@ const LEVEL_FILTERS_DEFAULT = { allow: true, warn: true, deny: true, + none: true, }; const APPLICABILITIES_FILTER_DEFAULT = { Unspecified: true, |