diff options
author | René Scharfe <l.s.r@web.de> | 2018-10-03 15:06:49 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-10-03 21:12:01 -0700 |
commit | 6e8fc70fcefd4c362142c7d437488d3fbfdc22a8 (patch) | |
tree | 9fe5224b6776d887deba87834ca9749c58265fdf /Documentation/git-rev-parse.txt | |
parent | Git 2.19 (diff) | |
download | tgif-6e8fc70fcefd4c362142c7d437488d3fbfdc22a8.tar.xz |
sequencer: use return value of oidset_insert()
oidset_insert() returns 1 if the object ID is already in the set and
doesn't add it again, or 0 if it hadn't been present. Make use of that
fact instead of checking with an extra oidset_contains() call.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Acked-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-rev-parse.txt')
0 files changed, 0 insertions, 0 deletions