diff man/cl.texi @ 30306:7a694e8efd12

(face-font-selection-order) (face-font-family-alternatives): Add custom type.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 18 Jul 2000 19:07:15 +0000
parents 95bdbefcdac6
children 384603523f41
line wrap: on
line diff