comparison src/search.c @ 30044:f28b2213c12b

Remove duplicate @direntry.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 05 Jul 2000 11:41:57 +0000
parents 1fa96662f8ca
children a3dc5f987e8f
comparison
equal deleted inserted replaced
30043:a94adf00419b 30044:f28b2213c12b