Re: diff --summarize --ignore-properties

[Stefan Sperling]

On Mon, Mar 23, 2015 at 02:43:20AM -0700, Chris wrote:
> Please consider either adding this "filtering", or an error message in future 
> releases.

Working on it...