Jason Gross (May 27 2021 at 20:58): 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.)
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: Oct 13 2024 at 01:02 UTC