diff src/search.c @ 71716:8dd983bf9226

Suggest consolidation with user customization when the system default of a customized variable changes.
author David Kastrup <dak@gnu.org>
date Sat, 08 Jul 2006 19:36:24 +0000
parents 7510757f449b
children 0b34cf45daa8 a8190f7e546e
line wrap: on
line diff