diff make-dist @ 70570:edd2bdf83f35

autoupdate
author Karl Berry <karl@gnu.org>
date Wed, 10 May 2006 13:33:04 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff