diff src/w32gui.h @ 47535:761358848235

(Saving Customizations): New node has the info on custom-file. (Changing an Option): Document Use Backup Value.
author Richard M. Stallman <rms@gnu.org>
date Wed, 18 Sep 2002 16:11:02 +0000
parents 994f2deaa5bc
children cd58bd276a86
line wrap: on
line diff