diff TOOLS/subsearch.sh @ 25620:53e5107ea80d

Fix illegal identifiers, names starting with __ are reserved for the system.
author diego
date Tue, 08 Jan 2008 00:37:41 +0000
parents 4d8489f21983
children
line wrap: on
line diff