diff make-dist @ 107989:29a7e4af9d84

Overwritten from mainline.
author Eli Zaretskii <eliz@gnu.org>
date Fri, 09 Apr 2010 14:17:35 +0300
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
line wrap: on
line diff