diff src/search.h @ 641:81441380d3be

When an option was successfully read, just continue to next line.
author zas_
date Mon, 12 May 2008 10:46:23 +0000
parents 48c8e49b571c
children d6a7fb4b8e7c
line wrap: on
line diff