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 /Documentation/revisions.txt | |
parent | 5e950c2199448d44388f7ca25c837fe7650da93c (diff) | |
download | git-3ee4452837a1f99088517b25938d5c85aac4a583.tar.gz git-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 'Documentation/revisions.txt')
0 files changed, 0 insertions, 0 deletions