diff options
| author |  Robin Rosenberg <robin.rosenberg@dewire.com> | 2013-03-31 01:30:48 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-03-31 19:07:26 -0700 |
| commit | 3ee4452837a1f99088517b25938d5c85aac4a583 (patch) | |
| tree | 4e3f80c4c5aef305b45f1db79c9b52c1700e9900 /contrib/git-shell-commands | |
| parent | Merge branch 'maint-1.8.1' into maint (diff) | |
| download | tgif-3ee4452837a1f99088517b25938d5c85aac4a583.tar.xz | |
bash: teach __git_ps1 about REVERT_HEAD
Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/git-shell-commands')
0 files changed, 0 insertions, 0 deletions