comparison src/unexmips.c @ 33024:42e118959715

(custom-face-value-create): If face name doesn't end with "face", add such here (similar to custom group widgets).
author Miles Bader <miles@gnu.org>
date Sun, 29 Oct 2000 14:49:01 +0000
parents ee40177f6c68
children 695cf19ef79e d7ddb3e565de
comparison
equal deleted inserted replaced
33023:ab1061464a32 33024:42e118959715