diff make-dist @ 103817:e81c75893d07

Kevin Ryde <user42 at zip.com.au> Fix names of some elements.
author Glenn Morris <rgm@gnu.org>
date Fri, 10 Jul 2009 04:44:55 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff