summaryrefslogtreecommitdiff
path: root/tools/lint.js
diff options
context:
space:
mode:
authorBartek Iwańczuk <biwanczuk@gmail.com>2024-11-20 00:18:57 +0100
committerBartek Iwańczuk <biwanczuk@gmail.com>2024-11-20 00:18:57 +0100
commit21bd818f1ee531a49c46213417774fbc18a8b562 (patch)
treeea32c744f0fd1932f7a505892e43846a73823fbd /tools/lint.js
parent6356329b37282178701c0064a4a2cd04286a51e7 (diff)
parent46b6037644c761369e689704f8e7b857959da155 (diff)
Merge branch 'main' into haturatu/main
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-xtools/lint.js2
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",