diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-12-09 03:30:24 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-12-09 03:30:24 +0300 |
| commit | c82365dc6f211722cbbed96f41a61f477914c91a (patch) | |
| tree | 86a8dc2afea62f4ba5b207671652bb03391fe5b5 /server-info.c | |
| parent | 8c667f4bb878a7bcb45eb6dbd920b8aba9718d7e (diff) | |
Documentation: git-prune
Not replacing but always including our own refs may be more
desirable (and unarguably much safer), but at the same time I
have a suspicion that that might be forbidding a useful usage I
haven't thought of, so...
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions