log TOOLS/subsearch.sh @ 31219:e02877d8647e

age author description
Fri, 02 Sep 2005 00:04:55 +0000 diego description typo fixes
Sun, 29 May 2005 13:51:35 +0000 alex very dummy script, written for a friend