diff make-dist @ 72519:3a91203cdb2a

(Incremental Search): Move index entries.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Aug 2006 20:33:24 +0000
parents ef43d43a40be
children 81a55a7dc3c3 138ce2701550
line wrap: on
line diff