comparison TOOLS/subsearch.sh @ 33125:9c178cf14a61

Get rid of else-block to improve readability.
author ib
date Mon, 04 Apr 2011 18:23:19 +0000
parents 4d8489f21983
children
comparison
equal deleted inserted replaced
33124:7e7d9c19f3d9 33125:9c178cf14a61