diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-01-05 20:09:55 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-01-07 02:41:43 (GMT) |
| commit | a6d97d49e23382027efff8a8e90e69e0572620c6 (patch) | |
| tree | d9cb3a0a7857a18f7825d44d6b65b3e3f1719942 /builtin-diff-index.c | |
| parent | 3023dc690f98f83b64cc6f2a9cc015bf2b01964a (diff) | |
| download | git-a6d97d49e23382027efff8a8e90e69e0572620c6.zip git-a6d97d49e23382027efff8a8e90e69e0572620c6.tar.gz git-a6d97d49e23382027efff8a8e90e69e0572620c6.tar.bz2 | |
git-rev-parse --symbolic-full-name
The plumbing level can understand that the user meant
"refs/heads/master" when the user says "master" or
"heads/master", but there is no easy way for the scripts to
figure it out without duplicating the dwim_ref() logic.
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin-diff-index.c')
0 files changed, 0 insertions, 0 deletions