diff src/search.h @ 1522:d7206703d90f

re-ordered some options, improved descriptions
author nadvornik
date Mon, 06 Apr 2009 21:52:49 +0000
parents 8b89e3ff286b
children
line wrap: on
line diff