diff man/mark.texi @ 52031:5163fa137977

(defface tooltip): Inherit from variable-pitch.
author John Paul Wallington <jpw@pobox.com>
date Wed, 23 Jul 2003 11:37:13 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff