diff make-dist @ 10181:7a0412e09bdb

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Sat, 17 Dec 1994 00:03:59 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff