diff man/search.texi @ 44944:dbacf99cccc4

Minor reorganization of some code.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Apr 2002 22:28:38 +0000
parents b0768ec46559
children d76b60f898fc
line wrap: on
line diff