diff options
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", |