diff options
author | Brian Gernhardt <brian@gernhardtsoftware.com> | 2013-07-03 00:43:27 -0400 |
---|---|---|
committer | Brian Gernhardt <brian@gernhardtsoftware.com> | 2013-07-26 22:05:06 -0400 |
commit | 5a7b85adc71502a22003a9d9dc754464425226dc (patch) | |
tree | c5aa3a0bad7748290eec6b324354c38f80ee81be /share/functions/prevd.fish | |
parent | 914f83cb100c332f701ccacc5804c8b069fa2d41 (diff) |
git_prompt: use REVERT_HEAD
git revert was taught to revert multiple commits, and it stores it
branch information in REVERT_HEAD just like the other *_HEAD files.
based on git.git 3ee4452: bash: teach __git_ps1 about REVERT_HEAD
Diffstat (limited to 'share/functions/prevd.fish')
0 files changed, 0 insertions, 0 deletions