diff src/intervals.c @ 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 fcb030c7708e
children c3435dc00ed7
line wrap: on
line diff