comparison TOOLS/subsearch.sh @ 18579:fc3f25278021

Move/add checks to avoid crashes and make error messages less confusing
author reimar
date Mon, 05 Jun 2006 11:45:33 +0000
parents 4d8489f21983
children
comparison
equal deleted inserted replaced
18578:eef0850d4a4b 18579:fc3f25278021