Wolfgang Walther 1516b4435d .editorconfig: indent css with spaces ...

We already do in doc/style.css, but we should tell our editors and
formatters, too.

The comment.. doesn't really make sense, it's purely repetitive with the
code itself. Thus, removed.

(cherry picked from commit 08c315672d)

2025-08-20 16:34:10 +02:00

2.3 KiB

Raw Permalink Blame History

View Raw