diff make-dist @ 12368:dc2ce070185e

Delete duplicate paragraph.
author Richard M. Stallman <rms@gnu.org>
date Sat, 24 Jun 1995 02:32:55 +0000
parents ed11e19b4264
children 543e6df4f753
line wrap: on
line diff