comparison 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
comparison
equal deleted inserted replaced
36262:c2f7a7dc3322 36263:11db0318031d