diff TOOLS/subsearch.sh @ 24921:148ca265fcb6

Change parsing to allow host == NULL and sink != NULL
author reimar
date Sat, 03 Nov 2007 10:42:23 +0000
parents 4d8489f21983
children
line wrap: on
line diff