diff lib-src/pop.h @ 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 3661e9b3c48f
children 6d19c76d81c5 c5406394f567
line wrap: on
line diff