quoted
quoted
quoted
quoted
"PB" == Petr Baudis [off-list ref] writes:
PB> What do you think? Would you hate it to show up in the diffs, or are
PB> you ok with it?
I cannot tell if you are asking about cg-diff or changing the
built-in diff-* output. The Subject: line suggests you are
talking about the latter, but if that is the case I have to
admit that I am not that sympathetic to Index: nor separator.
Like Linus, I do "/^diff --git .*" in my less sessions, which
gives a very nice highlighted separator line without wasting a
single line on the terminal. If any of the readers on the list
didn't know about this trick (especially the trailing .* part),
please try it. I'm certain everybody would love it.