Brian Gernhardt 5a7b85adc7 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		2013-07-26 22:05:06 -04:00
..
completions	Fix make command completion. Fixes issue #928.	2013-07-25 15:06:39 +02:00
functions	git_prompt: use REVERT_HEAD	2013-07-26 22:05:06 -04:00
tools	Merge branch 'informative_git' of git://github.com/mariuszs/fish-shell into mariuszs-informative_git	2013-07-11 12:26:25 -07:00
config.fish	Put user paths at beginning	2013-06-22 17:15:43 +02:00