comparison make-dist @ 17378:30a3a2b1260a

Use defcustom for user variables.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Apr 1997 01:37:50 +0000
parents b29d903ca993
children 55e7f9ff6456
comparison
equal deleted inserted replaced
17377:a8f5d483c76c 17378:30a3a2b1260a