Skip to content

Add --ignore-user-config option#280

Open
joshavant wants to merge 1 commit into
zed-industries:mainfrom
joshavant:feature/ignore-user-config
Open

Add --ignore-user-config option#280
joshavant wants to merge 1 commit into
zed-industries:mainfrom
joshavant:feature/ignore-user-config

Commits

Commits on May 11, 2026