tree cfadcf52fb96445c230f4e60bd77d7cc39a21b73
parent 629de472b67bdb6b1fbdc72a95e1f569e3b8f02d
author Junio C Hamano <gitster@pobox.com> 1206426051 -0700
committer Junio C Hamano <gitster@pobox.com> 1206657597 -0700

builtin-prune: protect objects listed on the command line

Finally, this resurrects the documented behaviour to protect other
objects listed on the command line from getting pruned.

Signed-off-by: Junio C Hamano <gitster@pobox.com>