diff etc/vipcard.tex @ 31792:bad7093b5361

(electric-help): New defgroup. (electric-help-shrink-window): New user-option. (with-electric-help): Use it.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 20 Sep 2000 20:39:20 +0000
parents e96ffe544684
children e69aa66ec7cc
line wrap: on
line diff