Merge branch 'jk/unused'
[git] / range-diff.c
2018-08-13  Johannes Schindelinrange-diff: improve the order of the shown commits
2018-08-13  Johannes Schindelinrange-diff: first rudimentary implementation