Skip to content

Fix redundant "Ignore and refresh" prompt from init#798

Merged
dbarnett merged 1 commit intomainfrom init-redundant-promptOct 2, 2024

Commits

Commits on Oct 2, 2024