diff make-dist @ 79851:aa48f4550439

finder-inf no longer in CVS. Fill last paragraph.
author Glenn Morris <rgm@gnu.org>
date Wed, 16 Jan 2008 04:17:13 +0000
parents a9b80f99c836
children 6c914e475446
line wrap: on
line diff