diff man/glossary.texi @ 64724:719375653e09

(read-face-name): Delete duplicate faces.
author Juri Linkov <juri@jurta.org>
date Thu, 04 Aug 2005 01:06:44 +0000
parents bde85f1b5180
children 3723093a21fd 01137c1fdbe9
line wrap: on
line diff