diff options
| author | Thomas Ackermann <th.acker@arcor.de> | 2013-08-27 20:05:50 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-08-27 15:14:46 -0700 |
| commit | ddeb817f25fea45dee5456c48d723e56b9f8991b (patch) | |
| tree | 094fc21039a33346a980de2359fe7c93f285bfca /diff-no-index.c | |
| parent | Remove irrelevant reference from "Tying it all together" (diff) | |
| download | git-ddeb817f25fea45dee5456c48d723e56b9f8991b.tar.gz git-ddeb817f25fea45dee5456c48d723e56b9f8991b.zip | |
"git prune" is safe
"git prune" is safe in case of concurrent accesses to a repository
but using it in such a case is not recommended.
Signed-off-by: Thomas Ackermann <th.acker@arcor.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'diff-no-index.c')
0 files changed, 0 insertions, 0 deletions