diff make-dist @ 99157:5421f3e36aca

Perform last revert properly. :-(
author Chong Yidong <cyd@stupidchicken.com>
date Mon, 27 Oct 2008 05:43:17 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff