diff src/.gdbinit @ 42488:cbf9d3debb0a

(facemenu-active-faces): Use face-attributes-as-vector, not face-attributes-vector.
author Richard M. Stallman <rms@gnu.org>
date Wed, 02 Jan 2002 22:56:04 +0000
parents f440b9766968
children d2dfa348e7d8
line wrap: on
line diff