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/continuous | |
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/continuous')
0 files changed, 0 insertions, 0 deletions