diff make-dist @ 7338:4863a9ad1a69

Fix out of date comment.
author David J. MacKenzie <djm@gnu.org>
date Thu, 05 May 1994 19:06:48 +0000
parents 836cfa8829a7
children 6191acd134b6
line wrap: on
line diff