diff src/search.c @ 92295:72a3622268cc

(make-obsolete): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 28 Feb 2008 03:47:59 +0000
parents 5a41bb37f0ee
children abcbb8375c30
line wrap: on
line diff