diff src/ChangeLog.4 @ 32362:c74db5a73b6f

Fix last change for docs search procedure (suggested by Dave Love).
author Eli Zaretskii <eliz@gnu.org>
date Tue, 10 Oct 2000 12:46:32 +0000
parents 8f14d08e19f7
children 218f185269b8
line wrap: on
line diff