Ignore local-only workspace configuration directories#4257

Merged

kemister85 merged 3 commits into

chore/gitignore-workspace-config-7

Jul 3, 2026

Task list completed / task-list-completed succeeded Jul 3, 2026 in 0s

0 / 0 tasks completed

All tasks have been completed

Details

View more details on Task list completed