Skip to content

Improve IDE settings prompt: better formatting and default to yes#4871

Merged
anton-107 merged 1 commit intomainfrom
antonnek/ide-settings-prompt-improvements
Mar 31, 2026
Merged

Improve IDE settings prompt: better formatting and default to yes#4871
anton-107 merged 1 commit intomainfrom
antonnek/ide-settings-prompt-improvements

Commits

Commits on Mar 31, 2026