diff man/search.texi @ 28878:ea706ac904f0

Fix last change.
author Dave Love <fx@gnu.org>
date Thu, 11 May 2000 18:38:29 +0000
parents ec699636f83a
children 65af0f27a892
line wrap: on
line diff