diff options
author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2024-11-20 00:18:57 +0100 |
---|---|---|
committer | Bartek Iwańczuk <biwanczuk@gmail.com> | 2024-11-20 00:18:57 +0100 |
commit | 21bd818f1ee531a49c46213417774fbc18a8b562 (patch) | |
tree | ea32c744f0fd1932f7a505892e43846a73823fbd /tools/lint.js | |
parent | 6356329b37282178701c0064a4a2cd04286a51e7 (diff) | |
parent | 46b6037644c761369e689704f8e7b857959da155 (diff) |
Merge branch 'main' into haturatu/main
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js index 604dee9b3..8e0057fa3 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -51,6 +51,8 @@ async function dlint() { ":!:cli/bench/testdata/express-router.js", ":!:cli/bench/testdata/react-dom.js", ":!:cli/compilers/wasm_wrap.js", + ":!:cli/tools/doc/prism.css", + ":!:cli/tools/doc/prism.js", ":!:cli/tsc/dts/**", ":!:cli/tsc/*typescript.js", ":!:cli/tsc/compiler.d.ts", |