diff etc/DISTRIB @ 88800:e55be5ffb64f

(DONTCOMPILE): Fix duplicates.
author Dave Love <fx@gnu.org>
date Thu, 27 Jun 2002 19:50:07 +0000
parents 3e47b3d08800
children 80973470ed3e d7ddb3e565de
line wrap: on
line diff