diff install-sh @ 29679:97ed659aea4e

(SHELL): Make sure /bin/sh is used.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 15 Jun 2000 16:07:34 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff