diff install-sh @ 38266:6f8192f9ec53

Improve a comment.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 03 Jul 2001 10:29:50 +0000
parents 35064c2e86d7
children 23a1cea22d13
line wrap: on
line diff