Commit 50351dee7e55367d42b3a715d56abdd7751978cd

Stefan Sperling 2019-10-09T07:26:28

remove unused 'pr' argument from diff3.c's skip() function