diff make-dist @ 107116:0449c21035e7

* ChangeLog: Mark tiny change.
author Glenn Morris <rgm@gnu.org>
date Mon, 08 Feb 2010 21:43:23 -0800
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
line wrap: on
line diff