diff options
| author | Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2005-07-28 16:48:13 +0200 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-07-29 00:12:02 -0700 |
| commit | bd6bc56d4ebf04113657647e6d071e24ca708dad (patch) | |
| tree | 07770c5ccd6434e15045c08ef598f878a7cc1789 /diff.c | |
| parent | b614e3d75730490180f9271cec714a4a8c721636 (diff) | |
| download | git-bd6bc56d4ebf04113657647e6d071e24ca708dad.tar.gz | |
[PATCH] remove "-r" option to xargs
git-prune-script still contained that non-portable option.
Signed-off-by: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'diff.c')
0 files changed, 0 insertions, 0 deletions