diff options
author | Paolo Insogna <paolo@cowtech.it> | 2022-03-23 00:31:56 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-23 00:31:56 +0300 |
commit | 0f79a274621c3fab0d0665fb3715a7b1354896aa (patch) | |
tree | b6571e285ab9dba1ceff3635696bf6c4ec4b3cf3 /.eslintignore | |
parent | 3579f6d0449b3c577627859bf8c5ef700565f970 (diff) |
doc: make header smaller and dropdown click-driven when JS is on
PR-URL: https://github.com/nodejs/node/pull/42165
Fixes: https://github.com/nodejs/node/issues/42286
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Diffstat (limited to '.eslintignore')
-rw-r--r-- | .eslintignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.eslintignore b/.eslintignore index 8ab4750abd1..5941496e1a6 100644 --- a/.eslintignore +++ b/.eslintignore @@ -7,4 +7,5 @@ tools/icu tools/lint-md/lint-md.mjs benchmark/tmp doc/**/*.js +!doc/api_assets/*.js !.eslintrc.js |