Re: [PATCH] git-rev-list: fix --header
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 18, 2006, 14:50 UTC
- Message-ID
- <Pine.LNX.4.63.0604181649510.2140@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <7vhd4rlw0m.fsf@assigned-by-dhcp.cox.net>
Hi,
On Mon, 17 Apr 2006, Junio C Hamano wrote:
> Still undecided. As you say it is an easy change, so I'd rather > leave the behaviour as before for now.
Okay, I'd say go with the shorter (your) solution.
Ciao, Dscho