diff make-dist @ 73784:82c910720ce0

(Acknowledgments): Fix name spelling.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Nov 2006 16:12:43 +0000
parents e68d05a41cab
children ddcbd2c1b70d 02cf29720f31
line wrap: on
line diff