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: Jul 25 2024 at 16:02 UTC