diff man/texinfo.tex @ 55984:6d619a8bd0ba

(widget-specify-button): Use hand pointer rather than mouse-face as visible mouse-over effect.
author Kim F. Storm <storm@cua.dk>
date Tue, 08 Jun 2004 09:54:59 +0000
parents a93f1f4e2e49
children f164571769e0
line wrap: on
line diff