diff TOOLS/subsearch.sh @ 23635:1318a24d46cf

Remove unused and trivial string variable
author reimar
date Sun, 24 Jun 2007 14:12:59 +0000
parents 4d8489f21983
children
line wrap: on
line diff