1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/es/examples/mq.tools	Tue Oct 20 00:58:33 2009 +0200
     1.3 @@ -0,0 +1,11 @@
     1.4 +#!/bin/bash
     1.5 +
     1.6 +cp $EXAMPLE_DIR/data/remove-redundant-null-checks.patch .
     1.7 +
     1.8 +#$ name: tools
     1.9 +diffstat -p1 remove-redundant-null-checks.patch
    1.10 +
    1.11 +filterdiff -i '*/video/*' remove-redundant-null-checks.patch
    1.12 +
    1.13 +#$ name: lsdiff
    1.14 +lsdiff -nvv remove-redundant-null-checks.patch