diff man/search.texi @ 59012:4757a09db597

#
author André Spiegel <spiegel@gnu.org>
date Fri, 17 Dec 2004 10:53:03 +0000
parents cb59b8d0f534
children 856e8ee31fcb f2ebccfa87d4
line wrap: on
line diff