diff make-dist @ 71114:542cd4440e5f

(Moving Point): Fix previous change.
author Richard M. Stallman <rms@gnu.org>
date Wed, 31 May 2006 16:23:11 +0000
parents b99080e25b28
children ef43d43a40be 72dea2ff0142
line wrap: on
line diff