comparison doc/misc/erc.texi @ 104791:dba547c05661

(info-menu-5): Mark face alias as obsolete.
author Glenn Morris <rgm@gnu.org>
date Wed, 02 Sep 2009 03:06:50 +0000
parents 9bcea07061a8
children ced392aa0bba
comparison
equal deleted inserted replaced
104790:f8b01ad24693 104791:dba547c05661