diff etc/pl-refcard.ps @ 40598:7f3db64c7d42

(Finternal_merge_in_global_face): Reindent. (Fface_font): Ditto. (Finternal_set_alternative_font_registry_alist): Ditto. (Ftty_suppress_bold_inverse_default_colors): Ditto.
author Pavel Janík <Pavel@Janik.cz>
date Thu, 01 Nov 2001 07:04:02 +0000
parents cca3d7d412be
children 3f1743ca9233
line wrap: on
line diff