Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove non-existing
lint.extendIgnore
editor setting (#15844)
This setting doesn't exist in the first place. I must've added it by mistake thinking that it exists similar to `extendSelect`. One reason to have auto-generated docs. https://github.com/astral-sh/ruff/blob/988be01fbec37fe6ba6658a24cda82c73241e4ea/crates/ruff_server/src/session/settings.rs#L124-L133 Closes: #14665
- Loading branch information