diff lib-src/pop.h @ 75012:b1c1e60969db

(Specific Customization): Document customize-option instead of customize-variable.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jan 2007 01:57:16 +0000
parents 3661e9b3c48f
children 6d19c76d81c5 c5406394f567
line wrap: on
line diff