diff make-dist @ 3727:87bd6540514f

Mention that gzip files end in ".gz", not ".z".
author Jim Blandy <jimb@redhat.com>
date Mon, 14 Jun 1993 15:12:07 +0000
parents cecefb2ab758
children e65e33390314
line wrap: on
line diff