Added --rmtrunc, made --rmdiff mark a box as ignored rather than
totally removing it, and also made --stats print the number of non-ignored boxes.
Showing
Please
register
or
sign in
to comment
totally removing it, and also made --stats print the number of non-ignored boxes.