diff options
| author |  Brian Gernhardt <benji@silverinsanity.com> | 2006-12-15 07:39:33 -0500 |
|---|---|---|
| committer |  Junio C Hamano <junkio@cox.net> | 2006-12-15 22:31:01 -0800 |
| commit | e697e4cd1fc492e312a396211bafc629d6297ebd (patch) | |
| tree | 81de4f5a0855699be0abf2b78ed4b2ea52f0af58 /server-info.c | |
| parent | Add --add option to git-repo-config (diff) | |
| download | tgif-e697e4cd1fc492e312a396211bafc629d6297ebd.tar.xz | |
Make git-diff documentation use [--] when it should.
Two of the cases has "[--] [<path>...]" and two had "-- [<path>...]".
Not terribly consistent and potentially confusing. Also add "[--]" to
the synopsis so that it's obvious you can use it from the very
beginning.
Signed-off-by: Brian Gernhardt <benji@silverinsanity.com>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'server-info.c')
0 files changed, 0 insertions, 0 deletions