tisdag 21 augusti 2007 skrev Junio C Hamano: > Robin Rosenberg <robin.rosenberg.lists@xxxxxxxxxx> writes: > > > How about this instead: > > > > -- robin > > > > Include diff options into git-show command manual > > I think that is probably a good idea but I wonder if placing > diff-options in between of pretty-options and pretty-formats is > a good idea. Since pretty-formats is a new section in the man page it works out fine. I actually ran make and man to verify this patch. -- robin - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html