diff man/search.texi @ 78840:b0f2d245629d

(Fmake_network_process): Doc fix.
author Glenn Morris <rgm@gnu.org>
date Thu, 20 Sep 2007 02:46:00 +0000
parents 1e02a80ad090
children 37a6ca546c99 e6fdae9180d4
line wrap: on
line diff