diff man/search.texi @ 33374:1666541ea9be

Add coding tag.
author Dave Love <fx@gnu.org>
date Fri, 10 Nov 2000 17:29:46 +0000
parents 396b07cf1395
children 8258a6628b85
line wrap: on
line diff