#!/bin/sh

STRIPNODIFF=`echo $0 | sed 's,/[^/]*$,/stripnodiff,'`

exec cvs di -kk -rpublic -rHEAD $* | $STRIPNODIFF




