comparison TOOLS/subsearch.sh @ 23679:7ec134c71749

Ignore .ho files.
author diego
date Mon, 02 Jul 2007 10:13:31 +0000
parents 4d8489f21983
children
comparison
equal deleted inserted replaced
23678:59d684441bd6 23679:7ec134c71749