diff src/.dbxinit @ 73412:fb5c7e2b2689

(facemenu-add-new-face): Defend against symbol that isn't a face name.
author Richard M. Stallman <rms@gnu.org>
date Wed, 18 Oct 2006 10:51:00 +0000
parents 18e524802887
children
line wrap: on
line diff