diff man/search.texi @ 35597:712bca47575d

*** empty log message ***
author Gerd Moellmann <gerd@gnu.org>
date Fri, 26 Jan 2001 10:26:19 +0000
parents 396b07cf1395
children 8258a6628b85
line wrap: on
line diff