diff man/search.texi @ 90230:fa744c8b8632

Fix merge mistake
author Miles Bader <miles@gnu.org>
date Mon, 19 Sep 2005 11:14:02 +0000
parents a3716f7538f2
children b1c1fc853d2f
line wrap: on
line diff