diff make-dist @ 36263:11db0318031d

Remove redundant index entries.
author Eli Zaretskii <eliz@gnu.org>
date Wed, 21 Feb 2001 15:29:46 +0000
parents 3f8e87ac64ab
children 4bfdb0896d45
line wrap: on
line diff