diff etc/charsets/CP858.map @ 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 8cc2b1e9767f
children
line wrap: on
line diff