Skip to content

Mention replacements for deprecated settings in settings.json#7913

Merged
jacob314 merged 1 commit intomainfrom
jacob314/list_setting_alternative
Sep 7, 2025
Merged

Mention replacements for deprecated settings in settings.json#7913
jacob314 merged 1 commit intomainfrom
jacob314/list_setting_alternative

Commits

Commits on Sep 7, 2025