diff tools/common.sh @ 591:4359ddd73b00 1.1

strip off root file name only once for missing files
author Gerhard Weis <gweis@gmx.at>
date Sat, 20 Mar 2010 15:07:37 +1000
parents 5071b8511572
children
line wrap: on
line diff