diff TOOLS/subsearch.sh @ 29618:1a4d159c0436

Fix an endless loop if all programs are empty.
author reimar
date Tue, 08 Sep 2009 09:08:05 +0000
parents 4d8489f21983
children
line wrap: on
line diff