diff install-sh @ 101972:9eff457d4b49

Simplify previous change; again.
author Glenn Morris <rgm@gnu.org>
date Thu, 12 Feb 2009 07:53:11 +0000
parents 23a1cea22d13
children
line wrap: on
line diff