undotlines 1561 src/diff3.c undotlines (outputfile, leading_dot, high0 + 2, undotlines 1577 src/diff3.c undotlines (outputfile, leading_dot, low0 + 1, undotlines 1604 src/diff3.c undotlines (outputfile, dotlines (outputfile, b, mapping[FILE2]),