diff make-dist @ 43038:45598283ce0d

Minor clarification.
author Richard M. Stallman <rms@gnu.org>
date Fri, 01 Feb 2002 04:29:36 +0000
parents e13df10b6b63
children 1109a8546104
line wrap: on
line diff