diff options
| author | Jeff King <peff@peff.net> | 2015-06-22 07:06:32 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-06-26 09:24:42 -0700 |
| commit | 3115ee45c8c7c0b753663890b13ec0e14fe4c0d7 (patch) | |
| tree | db7ceda377412cbdf84cce0d96fc7f432a2c415d /userdiff.c | |
| parent | 6a951937ae1abb5fe438bfb41ebb28c5abe0419d (diff) | |
| download | git-3115ee45c8c7c0b753663890b13ec0e14fe4c0d7.tar.gz | |
cat-file: sort and de-dup output of --batch-all-objectsjk/cat-file-batch-all
The sorting we could probably live without, but printing
duplicates is just a hassle for the user, who must then
de-dup themselves (or risk a wrong answer if they are doing
something like counting objects with a particular property).
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'userdiff.c')
0 files changed, 0 insertions, 0 deletions