diff TOOLS/subsearch.sh @ 34455:00cf27b14c15

Replace goto label by an internal event case expression.
author ib
date Thu, 12 Jan 2012 10:31:39 +0000
parents 4d8489f21983
children
line wrap: on
line diff