Stream: math-comp users

Topic: line endings?

view this post on Zulip Jason Gross (May 27 2021 at 20:58):

Is there a reason that mathcomp has checked-in .v file with \r\n line endings? (It breaks my bug minimizer. I'm working on a fix, but I figured I'd ask here in case it's not intentional.)

view this post on Zulip Enrico Tassi (May 27 2021 at 21:48):

I guess we have some commits from Windows/SVN. You can make a pr putting all files in Unix eol if you like

Last updated: Feb 08 2023 at 08:02 UTC