diff BUGS @ 105632:127b35cd2de7

(define-obsolete-variable-alias): Doc fix. Maybe copy some custom properties from old to new name. (Bug#4706)
author Glenn Morris <rgm@gnu.org>
date Fri, 16 Oct 2009 06:48:24 +0000
parents fb8bf24d2eb9
children ac52af4a044c
line wrap: on
line diff