Dirk e6abc5fedc Try to fix the line ending problem ...

... at github when using the browser for a PR.

It seems that the web interface inserts an additional CR
and doesn't stick to the LF line endings.

Not sure it helps though. It can't hurt though.

2023-05-23 16:12:11 +02:00

145 B

Raw Blame History

View Raw