# Workspace settings

This file keeps editor/workspace-specific settings if needed later.