diff TOOLS/subsearch.sh @ 24456:41c163b6bea4

Get rid of some quite pointless variables
author reimar
date Fri, 14 Sep 2007 17:00:09 +0000
parents 4d8489f21983
children
line wrap: on
line diff