diff make-dist @ 41810:753f0d7fee84

Comment change (delete change log).
author Richard M. Stallman <rms@gnu.org>
date Tue, 04 Dec 2001 01:16:39 +0000
parents 84b7e5da33e2
children 80482c216b03
line wrap: on
line diff