Skip to content

uneasy formatting: missing EOL etc.

Dirk HOFFMANN requested to merge cosmetics into master

No big deal, just to make editors and other tools happy.

Merge request reports