diff make-dist @ 3815:41ef3e4adb0d

Change usage comment.
author Richard M. Stallman <rms@gnu.org>
date Thu, 17 Jun 1993 23:41:18 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff