For better cooperation, we need a EditorConfig #744

Open

opened

on Jul 17, 2025

someone might accidentally shift everything to the left or right because of their own configuration

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests