diff install-sh @ 75794:439a537f19e5

Revert previous change, since I'm not sure it is correct.
author Glenn Morris <rgm@gnu.org>
date Sun, 11 Feb 2007 04:08:01 +0000
parents 23a1cea22d13
children
line wrap: on
line diff