This commit is contained in:
Chong Yidong 2006-01-02 15:29:32 +00:00
parent c2e2f9be2c
commit fb61efe61d

View file

@ -750,8 +750,6 @@ E.g. dumped variables whose default depends on run-time information."
;; `theme-face' properties, but the theme's own `theme-settings'
;; property remains unchanged.
;;; Defining themes
(defvar custom-known-themes '(user changed)
"Themes that have been defined with `deftheme'.
The default value is the list (user changed). The theme `changed'