diff make-dist @ 99687:94e37721e194

Minor fix.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 18 Nov 2008 07:07:46 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff