diff install-sh @ 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 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff