diff make-dist @ 86217:974997c83cee

Comment.
author Glenn Morris <rgm@gnu.org>
date Mon, 19 Nov 2007 00:06:25 +0000
parents 7a2e26f2fa76
children b4d02fc0c471 880960b70474
line wrap: on
line diff