diff make-dist @ 42656:cd29af650db0

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Jan 2002 20:11:18 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff