lars
committed
on 13 Jan 03
Fixed bug #115: search... doesn't work