diff make-dist @ 108340:486e3cc1b3a6

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Tue, 20 Apr 2010 22:41:29 +0000
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
line wrap: on
line diff