diff make-dist @ 98875:4f060a526ae8

(Variable Definitions): Document custom-reevaluate-setting.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 19 Oct 2008 12:02:25 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff