Re: [PATCH] diff: --abbrev option

Petr Baudis [off-list ref] writes:

Ok, that's nice! :-) And if I'm going to machine-process this later,
I can just trim the trailing dots anyway. And it seems that I can give
--abbrev a number argument to specify the minimal abbreviation, even
cooler! :-)

Well, it is not for machine consumption to begin with anyway.
It is an optional toy ;-).