diff lib-src/update-game-score.c @ 59387:9ecc0aa7a55a

(isearch-lazy-highlight-update): Rename `isearch-lazy-highlight-interval' to `lazy-highlight-interval'.
author Juri Linkov <juri@jurta.org>
date Thu, 06 Jan 2005 06:54:28 +0000 (2005-01-06)
parents a47704955f8d
children 23a17af379b1 4c90ffeb71c5
line wrap: on
line diff