mirror of
https://github.com/mozilla/pdf.js.git
synced 2026-02-07 16:11:12 +01:00
4bf759404c
The goal is to be able to catch the errors before making a release. And fix some css issues (especially the missing css code for the newly added menu.css)
13 lines
283 B
JSON
13 lines
283 B
JSON
{
|
|
"plugins": ["./external/stylelint/no-unused-custom-properties.mjs"],
|
|
"rules": {
|
|
"no-unknown-custom-properties": true,
|
|
"pdfjs/no-unused-custom-properties": [
|
|
true,
|
|
{
|
|
"ignoreList": ["scale-round-x", "scale-round-y", "input-width"]
|
|
}
|
|
]
|
|
}
|
|
}
|