(info-menu-5): Mark face alias as obsolete.
authorGlenn Morris <rgm@gnu.org>
Wed, 2 Sep 2009 03:06:50 +0000 (03:06 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 2 Sep 2009 03:06:50 +0000 (03:06 +0000)
commitc33d614d6537e0808661ebf7139c4430cf2d2852
tree06149edcfa493592f8a16b37e7cb44b90cf7da63
parent9f255bc3a8fd760f67d56ca1191eef5cd13e29c0
(info-menu-5): Mark face alias as obsolete.
lisp/info.el