diff src/search.c @ 41584:8b64dc23e305

Change the provide and the header as per the renaming.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 26 Nov 2001 19:51:04 +0000
parents e2fc6115f836
children 4383b69f181b e9a23b7c1feb
line wrap: on
line diff