diff etc/DISTRIB @ 43259:71c7c34c4f6b

Regenerate from updated TeX sources.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 12 Feb 2002 18:18:08 +0000
parents 3e47b3d08800
children 80973470ed3e d7ddb3e565de
line wrap: on
line diff