diff options
author | René Scharfe <l.s.r@web.de> | 2017-12-25 18:44:03 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-12-28 13:50:05 -0800 |
commit | abc035126a58829cb7265b3ab2f2ca30312aa3b7 (patch) | |
tree | 845f23e563831afdb597736962bca8639ed59c10 /commit.h | |
parent | 07f7d55a346f0eb73a358736ce065f8c08b46452 (diff) |
commit: use clear_commit_marks_many() in remove_redundant()
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit.h')
0 files changed, 0 insertions, 0 deletions