diff src/search.c @ 86996:ccfc70c9b588

Move here from ../gnus.
author Glenn Morris <rgm@gnu.org>
date Sun, 02 Dec 2007 21:51:44 +0000
parents a65aa1e9a34b
children 107ccd98fa12 53108e6cea98
line wrap: on
line diff