Re: [PATCH] git-rev-list: fix --header

From: Johannes Schindelin <Johannes.Schindelin@gmx.de>
Date: 2006-04-19 00:50:22
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

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Received on Wed Apr 19 00:51:05 2006

This archive was generated by hypermail 2.1.8 : 2006-04-19 00:51:30 EST