diff make-dist @ 112144:125330ad5eb6

Merge from mainline.
author Paul Eggert <eggert@cs.ucla.edu>
date Fri, 07 Jan 2011 11:29:06 -0800
parents 2e087a5593f8
children 417b1e4d63cd c428fb33aede
line wrap: on
line diff