diff make-dist @ 80018:5bd0d726b8e7

Undo last change (mistakenly committed to branch).
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 04 Feb 2008 04:51:59 +0000
parents 6c914e475446
children ff108ff68535 fa454b3c5b7b
line wrap: on
line diff