diff install-sh @ 112138:3d3d7ef762fd

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Thu, 06 Jan 2011 21:16:15 -0800
parents ced73eea562f
children 14a97ab281d5
line wrap: on
line diff