diff INSTALL @ 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 202a8b235456
children f644b704f8b8
line wrap: on
line diff