Richard Stallman wrote:
if only we
had a way to specify one of the "ignore indentation" flags of diff,
would that improve this?

We have that, e.g., "git diff -b". I use it all the time.

Reply via email to