diff man/search.texi @ 25920:4d1e8a450aef

#
author Dave Love <fx@gnu.org>
date Fri, 08 Oct 1999 10:30:45 +0000
parents ac7e9e5e2ccb
children 6500fd0a7d8e
line wrap: on
line diff