diff make-dist @ 96862:88ddaf405341

Fix last change.
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 21 Jul 2008 16:35:59 +0000
parents 406f89aec7ee
children 9592c50233ab
line wrap: on
line diff