diff make-dist @ 104757:59c8411f3819

KR has assignment, so no need for "tiny change".
author Glenn Morris <rgm@gnu.org>
date Mon, 31 Aug 2009 01:35:25 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff